The Object-Z specification language
By: by Graeme Smith.
Series: Advances in formal methods ;; 1
Publisher: Kluwer Academic
Published: 2000
Place of publication: Boston
Language: eng
Number of pages: 146
Subjects: Object-oriented programming (Computer science); Z (Computer program language)
Notes: Includes bibliographical references and index.