Software development with Z : a practical approach to formal methods in software engineering /
J. B. Wordsworth.
- Harlow, Essex : Addison-Wesley Longman, 1992.
- xii, 334 p. : ill ; 24 cm.
Includes bibliographical references (p. 321-324) and index.
0201627574
Z (Computer program language) Computer software--Development. Formal methods (Computer science)