Z
Subtitle: an introduction to formal methods
By: Antoni Diller.
Edition: 2nd ed.
Publisher: Wiley & Sons
Published: 1994
Place of publication: Chichester, West Sussex, England; New York
Language: eng
Number of pages: 374
Subjects: Z (Computer program language); Formal methods (Computer science)
Description: This tutorial introduction to Z takes as its starting point the practical uses of this formal specification language. Case studies are used throughout the text to illustrate all aspects of Z. This edition includes new information on how to relate Z specifications to actual program codes.
Notes: Includes bibliographical references (p. 357-362) and index.