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 Longman Higher Education, 1988. Paperback. Book Condition: New. Bookseller Inventory # DADAX013983768X
Book Description Book Condition: Brand New. Book Condition: Brand New. Bookseller Inventory # 97801398376851.0