(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 |
---|---|---|---|---|---|
![]() |
FOUNDERS LIBRARY (S2) New Materials Shelf | QA76.73 Z2She. (Browse shelf (Opens below)) | Available | Q001581 |
Browsing HELP UNIVERSITY (HU) shelves, Shelving location: New Materials Shelf Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | No cover image available | No cover image available |
![]() |
No cover image available | ||
QA76.73 S67Tay. SQL for dummies / | QA76.73 T8Tur. Turbo vision, version 2.0 : programming guide. | QA76.73 V27Den. ActiveX controls inside out / | QA76.73 Z2She. (An) introduction to formal specification with Z and VDM / | QA76.73 Z2She. (An) introduction to formal specification with Z and VDM / | QA 76.73 Cha Java in two semesters : featuring JavaFX / | QA76.73 C153 Dei. C++ : how to program / |
8750
There are no comments on this title.