An introduction to formal specification with Z and VDM /
Sheppard, Deri.
An introduction to formal specification with Z and VDM / Deri Sheppard. - London ; New York : McGraw-Hill, c1995. - xvii, 398 p. : ill. ; 25 cm. - The McGraw-Hill international series in software engineering .
Includes bibliographical references (p. 390-392) and index.
0077079078 : £19.95
94020024
Z (Computer program language)
Computer software--Development.
QA76.73.Z2 / S48 1995
005.1
An introduction to formal specification with Z and VDM / Deri Sheppard. - London ; New York : McGraw-Hill, c1995. - xvii, 398 p. : ill. ; 25 cm. - The McGraw-Hill international series in software engineering .
Includes bibliographical references (p. 390-392) and index.
0077079078 : £19.95
94020024
Z (Computer program language)
Computer software--Development.
QA76.73.Z2 / S48 1995
005.1