Sheppard, Deri.
(An) introduction to formal specification with Z and VDM / Deri Sheppard. - McGraw-Hill 1995.
8750
Z (Computer program language).
Computer software - Development.
QA76.73 / Z2She.
(An) introduction to formal specification with Z and VDM / Deri Sheppard. - McGraw-Hill 1995.
8750
Z (Computer program language).
Computer software - Development.
QA76.73 / Z2She.