The Z Notation: A Reference Manual. 2Nd Ed.
Material type: TextPublication details: Prentice Hall 1992Description: xi,158p.;23cmISBN:- 0139785299
- 005.131 SPI 1992
Item type | Current library | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds | Course reserves |
---|---|---|---|---|---|---|---|---|---|---|
Open Collection | FIRST CITY UNIVERSITY COLLEGE | FIRST CITY UNIVERSITY COLLEGE | Open Collection | FCUC Library | 005.131 SPI 1992 (Browse shelf(Opens below)) | Available | 00004032 |
Total holds: 0
Browsing FIRST CITY UNIVERSITY COLLEGE shelves, Shelving location: FCUC Library, Collection: Open Collection Close shelf browser (Hides shelf browser)
005.131 POT 1996 An introduction to formal specification and Z / | 005.131 POT 1996 An introduction to formal specification and Z / | 005.131 REE 1990 Logic for computer science / | 005.131 SPI 1992 The Z Notation: A Reference Manual. 2Nd Ed. | 005.131 WOO 1988 Software engineering mathematics / | 005.131 WOO 1988 Software engineering mathematics / | 005.131 WOO 1996 Using Z : |