Formal Specification using Z - Brossura

Lightfoot, David

 
9780333763278: Formal Specification using Z
Brossura
ISBN 10: 0333763270 ISBN 13: 9780333763278
Casa editrice: Red Globe Press, 2000

Sinossi

<p>Formal specification is a technique for specifying what is required of a computer system clearly, concisely and without ambiguity. Z is a leading notation for formal specification.<br><i>Formal Specification Using Z</i> is an introductory book intended for the many software engineers and students who will benefit from learning about this important topic in software engineering. It is intended for non-mathematicians, and it introduces the ideas in a constructive style, building each new concept on the ones already covered. Each chapter is followed by a set of exercises, and sample solutions are provided for all of these in an appendix.</p>

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sugli autori

<p>DAVID LIGHTFOOT is currently a Senior Lecturer in the School of Computing and Mathematical Sciences at Oxford Brookes University.<br>DAVID LIGHTFOOT is currently a Senior Lecturer in the School of Computing and Mathematical Sciences at Oxford Brookes University.</p>

DAVID LIGHTFOOT is currently a Senior Lecturer in the School of Computing and Mathematical Sciences at Oxford Brookes University.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Red Globe Press
Data di pubblicazione
2000
Lingua
Inglese
ISBN 10 
0333763270
ISBN 13 
9780333763278
Rilegatura
Copertina flessibile
Numero edizione
2
Numero di pagine
180
Contatto del produttore
non disponibile
Persona responsabile
non disponibile