Articoli correlati a Introduction to Formal Specification and Z
Primarily intended as an introduction to the ideas of formal specification, to form part of an undergraduate course in computer science and providing a new approach to the process of software development, based on the work of the Z community at the Programming Research Group at Oxford, the main emphasis of this book is on formal specification. Features include discussions of formal methods of program development from specifications, and management issues involved in the adoption of more formal approaches to software development. It introduces concepts from discrete mathematics which are relevant to formal specification and presents the basic ideas involved in rigorous methods of software development from formal specifications.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description:
Book by Potter Ben Sinclair Jane Till David
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditorePrentice Hall
- Data di pubblicazione1991
- ISBN 10 0134787021
- ISBN 13 9780134787022
- RilegaturaCopertina flessibile
- Numero di pagine324
Compra nuovo
Scopri di più su questo articolo
EUR 95,89
Spese di spedizione:
EUR 4,58
In U.S.A.
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
INTRODUCTION TO FORMAL SPECIFICA
Da:
Valutazione libreria
Descrizione libro Condizione: New. New. In shrink wrap. Looks like an interesting title! 1.05. Codice articolo Q-0134787021
Compra nuovo
EUR 95,89
Convertire valuta