The Z notation : a reference manual /
Spivey, J. M.
The Z notation : a reference manual / J.M. Spivey ; based on t he work of J.R. Abrial ... [et al.]. - 2nd ed. - New York : Prentice Hall, 1992. - xi, 158 p. ; 24 cm. - Prentice Hall international series in computer science . - Prentice-Hall international series in computer science. .
Includes indexes.
0139785299 :
92-006090
Z (Computer program language)
005.1/1
The Z notation : a reference manual / J.M. Spivey ; based on t he work of J.R. Abrial ... [et al.]. - 2nd ed. - New York : Prentice Hall, 1992. - xi, 158 p. ; 24 cm. - Prentice Hall international series in computer science . - Prentice-Hall international series in computer science. .
Includes indexes.
0139785299 :
92-006090
Z (Computer program language)
005.1/1