ENGLISH

The Z Notation: A Reference Manual (Prentice-Hall International Series in Computer Science)

By J. M. Spivey

Book information

Publisher
Prentice Hall
Year
1992
ISBN
0139785299, 9780139785290
LCC
QA76.73.Z2 S66 1992
Open Library ID
OL1704828M
Language
english
Format
PDF
Filesize
808 kB (827815 bytes)
Series
Prentice-Hall International Series in Computer Science
Edition
2 Sub
Pages
168\168
Topic
Computers
Scanned
yes
Time added
2010-06-26 00:49:36

Description

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.

Similar books