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.
"synopsis" may belong to another edition of this title.
Book Description Prentice Hall, 1992. Paperback. Book Condition: New. Bookseller Inventory # SONG0139785299
Book Description Prentice Hall, 1992. Paperback. Book Condition: New. 2 Sub. Bookseller Inventory # DADAX0139785299