(An) introduction to formal specification with Z and VDM / Deri Sheppard.
Publication details: McGraw-Hill 1995Subject(s): Z (Computer program language) | Computer software - DevelopmentLOC classification: QA76.73 | Z2She.Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Open Book Shelf | FOUNDERS LIBRARY (S2) New Materials Shelf | QA76.73 Z2She. (Browse shelf (Opens below)) | Available | Q001581 |
8750
There are no comments on this title.