The Z Notation: A Reference Manual (Prentice-Hall International Series in Computer Science)
J. M. Spivey
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.
年:
1992
出版:
2 Sub
出版社:
Prentice Hall
语言:
english
页:
168
ISBN 10:
0139785299
文件:
PDF, 848 KB
IPFS:
,
english, 1992