Using Z :
Woodcock, Jim.
Using Z : specification, refinement, and proof / Jim Woodcock and Jim Davies. - London ; New York : Prentice Hall, 1996. - ix, 386 p. : ill ; 24 cm. - Prentice-Hall international series in computer science . - Prentice-Hall international series in computer science. .
Includes index.
0139484728 (pbk. : alk. paper)
96004347
Z (Computer program language)
005.1/2
Using Z : specification, refinement, and proof / Jim Woodcock and Jim Davies. - London ; New York : Prentice Hall, 1996. - ix, 386 p. : ill ; 24 cm. - Prentice-Hall international series in computer science . - Prentice-Hall international series in computer science. .
Includes index.
0139484728 (pbk. : alk. paper)
96004347
Z (Computer program language)
005.1/2