PakCat catalogue record

Software development with Z

a practical approach to formal methods in software engineering

By Wordsworth, J. B.

Bibliographic details

ISBN
0201627574
Publisher
Addison-Wesley Pub. Co.
Publication place
Wokingham, England
Publication year
1992
Language
English
Material type
Book
Physical description
xii, 334 p.

Subjects

Z (Computer program language), Computer software, Formal methods (Computer science)

Related catalogue records

Understanding Z Spivey, J. M. Z an introduction to formal methods Dillev, Antoni Using Z Woodcock, Jim The way of Z: Practical programming with formal methods Jacky, Jonathan