Understanding Z
Subtitle: a specification language and its formal semantics
By: J.M. Spivey.
Series: Cambridge tracts in theoretical computer science ;; 3
Publisher: Cambridge University Press
Published: 1988
Place of publication: Cambridge [Cambridgeshire]; New York
Language: eng
Number of pages: 131
Subjects: Z (Computer program language); Programming languages (Electronic computers) -- Semantics.
Notes: Bibliography: p. [119]-122.
Includes index.