An introduction to formal specification and Z /
Ben Potter, Jane Sinclair and David Till
- 2nd ed.
- England ; New York : Prentice Hall, 1996
- xiv, 434 p. : ill. ; 24 cm.
- Prentice-Hall international series in computer science .
0132422077
Computer software--Development. Z (Computer program language)