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
ISBN 13:
9780139785290
سیریز:
Prentice-Hall International Series in Computer Science
فائل:
PDF, 808 KB
IPFS:
,
english, 1992