The way of Z
Subtitle: practical programming with formal methods
By: Jonathan Jacky.
Publisher: Cambridge University Press
Published: 1997
Place of publication: Cambridge; New York, NY, USA
Language: eng
Number of pages: 350
Subjects: Z (Computer program language); Formal methods (Computer science)
Notes: Includes bibliographical references (p. [328]-339) and index.