The Z notation
Subtitle: a reference manual
By: J.M. Spivey ; based on the work of J.R. Abrial ... [et al.].
Series: Prentice-Hall International series in computer science
Publisher: Prentice Hall
Published: 1989
Place of publication: Englewood Cliffs, N.J
Language: eng
Number of pages: 155
Subjects: Z (Computer program language)
Notes: "November 1987."
Includes indexes.