Formal specification using Z /

Lightfoot, David, 1951-

Formal specification using Z / David Lightfoot - Basingstoke : Macmillan, 1991 - xi,164p : ill ; 24cm

Includes index.

Aims to help non-mathematicians learn about formal specification using the Z language. The book contains explanations of the mathematics of Z, interleaved with the development of an example specification. Chapters covering mathematics end with a summary and a set of exercises.

9780333544082 pbk 9780333544082 pbk £13.99


Programming languages (Electronic computers)
Programming & scripting languages: general
Mathematical theory of computation