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