Software development with Z
Subtitle: a practical approach to formal methods in software engineering
By: J.B. Wordsworth.
Series: International computer science series
Publisher: Addison-Wesley Pub. Co.
Published: 1992
Place of publication: Wokingham, England; Reading, Mass
Language: eng
Number of pages: 334
Subjects: Z (Computer program language); Computer software -- Development.; Formal methods (Computer science)
Notes: Includes bibliographical references (p. 321-324) and index.