Z
Subtitle: an introduction to formal methods
By: Antoni Diller.
Publisher: J. Wiley
Published: 1990
Place of publication: Chichester [England]; New York
Language: eng
Number of pages: 309
Subjects: Z (Computer program language)
Notes: Includes bibliographical references (p. 289-299) and index.