PakCat catalogue record

Using Z

specification, refinement, and proof

By Woodcock, Jim

Bibliographic details

ISBN
0139484728
Publisher
Prentice Hall
Publication place
London
Publication year
1996
Material type
Book
Physical description
ix, 386 p.

Additional authors

Davies, Jim

Subjects

Z (Computer program language)

Related catalogue records

Software engineering mathematics Woodcock, Jim Understanding Z Spivey, J. M. Z an introduction to formal methods Dillev, Antoni The way of Z: Practical programming with formal methods Jacky, Jonathan Software development with Z Wordsworth, J. B.