Potter, Ben.
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)
005.12 / POT
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)
005.12 / POT