(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 |
Browsing FOUNDERS LIBRARY (S2) 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 | ||||
QA76.73 S67Mat. Schaum's outline of fundamentals of SQL programming / | QA76.73 S67Opp SQL demystified / | QA76.73 V27Den. ActiveX controls inside out / | QA76.73 Z2She. (An) introduction to formal specification with Z and VDM / | QA 76.73 C15C C programming : a Q & A approach / | QA 76.73 C15C C programming : a Q & A approach / | QA76.73 C153 Mol. C++ for business programming / |
8750
There are no comments on this title.