The Z Notation: A Reference Manual (Prentice-Hall International Series in Computer Science)
The Z Notation: A Reference Manual by J. Spivey is published by Prentice Hall in January 1989 and spans 155 pages. This manual serves as a detailed guide to the use of the Z notation, which is essential for designing and specifying computer systems. It establishes a comprehensive set of notations and conventions, providing readers with a foundational understanding of Z’s main features and data refinement.
Readers will find a tutorial introduction that outlines the practical applications of Z notation in computer programming. The manual focuses on the systematic approach to designing computer systems, making it a valuable resource for those interested in the Z programming language. This first edition, later impression, is presented in English and is designed to support both new learners and experienced practitioners in the field.
Official synopsis Publisher
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.
FAQ
What is “The Z Notation: A Reference Manual (Prentice-Hall International Series in Computer Science)” about?
Who is the author of “The Z Notation: A Reference Manual (Prentice-Hall International Series in Computer Science)”?
When was “The Z Notation: A Reference Manual (Prentice-Hall International Series in Computer Science)” published?
What is the ISBN for “The Z Notation: A Reference Manual (Prentice-Hall International Series in Computer Science)”?
What are the book details (language, pages, edition)?
