Ebook: The Z Notation: A Reference Manual (Prentice-Hall International Series in Computer Science)
Author: J. M. Spivey
- Genre: Computers
- Series: Prentice-Hall International Series in Computer Science
- Year: 1992
- Publisher: Prentice Hall
- Edition: 2 Sub
- Language: English
- pdf
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.
Download the book The Z Notation: A Reference Manual (Prentice-Hall International Series in Computer Science) for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)