Can I read The Z notation : a reference manual on EtoBox?

The Z notation : a reference manual by Spivey, J. M is a book available to read on EtoBox.

What is The Z notation : a reference manual about?

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., Issue: до 2011-08, Edition: 2 Sub, Includes indexes

Author

Spivey, J. M

Publisher

New York : Prentice Hall

Published

1992

Language

EN