Formal methods fact file
Subtitle: VDM and Z
By: Andrew Harry.
Series: Wiley series in software engineering practice
Publisher: Wiley
Published: 1996
Place of publication: Chichester [England]; New York
Language: eng
Number of pages: 386
Subjects: Computer software -- Development.; Formal methods (Computer science)
Notes: Includes bibliographical references (p. 365-366) and index.