This manual provides a detailed guide to the use of the Z notation, which is used for designing and specifying computer systems. This second edition establishes a set of notations and conventions of the use of Z and offers a tutorial introduction to the main features and data refinement.

Скачать книгу бесплатно (pdf, 808 Kb)

---

Читать «The Z Notation: A Reference Manual (Prentice-Hall International Series in Computer Science)»