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.