Articoli correlati a Software Development With Z: A Practical Approach to...
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering - Brossura
This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description:
Book by Wordsworth John
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreAddison-Wesley
- Data di pubblicazione1992
- ISBN 10 0201627574
- ISBN 13 9780201627572
- RilegaturaCopertina flessibile
- Numero di pagine336
Compra nuovo
Scopri di più su questo articolo
EUR 93,75
Spese di spedizione:
EUR 4,52
In U.S.A.
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
SOFTWARE DEVELOPMENT WITH Z: A P
Editore:
Addison-Wesley
(1992)
ISBN 10: 0201627574
ISBN 13: 9780201627572
Nuovo
Brossura
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Condizione: New. New. In shrink wrap. Looks like an interesting title! 1.05. Codice articolo Q-0201627574
Compra nuovo
EUR 93,75
Convertire valuta