(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.