Formal Specification using Z
- Editore:
Macmillan Education UK
- Collana:
- Grassroots S.
- EAN:
9780333763278
- ISBN:
0333763270
- Pagine:
- 180
- Formato:
- Paperback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione Formal Specification using Z
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.Formal Specification Using Z 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.
Fuori catalogo - Non ordinabile
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti