An introduction to formal specification and Z /
Potter, Ben.
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)
QA76.76.D47 / P68 1996
005.12
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)
QA76.76.D47 / P68 1996
005.12