Image from Amazon.com
Z: An Introduction To Formal Methods
Material type:
TextPublication details: John Wiley 1995Edition: 2nd edDescription: xiv,374p.;ill.;25cmISBN: - 0471939730
- 005.131 DIL 1995
| Item type | Current library | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Open Collection
|
FIRST CITY UNIVERSITY COLLEGE | FIRST CITY UNIVERSITY COLLEGE | Open Collection | FCUC Library | 005.131 DIL 1995 (Browse shelf(Opens below)) | Available | 00008255 | ||
|
Open Collection
|
FIRST CITY UNIVERSITY COLLEGE | FIRST CITY UNIVERSITY COLLEGE | Open Collection | FCUC Library | 005.131 DIL 1995 (Browse shelf(Opens below)) | Available | 00008254 | ||
|
Open Collection
|
FIRST CITY UNIVERSITY COLLEGE | FIRST CITY UNIVERSITY COLLEGE | Open Collection | FCUC Library | 005.131 DIL 1995 (Browse shelf(Opens below)) | Available | 00004033 |
Total holds: 0
Browsing FIRST CITY UNIVERSITY COLLEGE shelves, Shelving location: FCUC Library, Collection: Open Collection Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 005.131 BES 1996 Semantics of sequential and parallel programs / | 005.131 CAS A programming approach to formal methods / | 005.131 DIL 1995 Z: An Introduction To Formal Methods | 005.131 DIL 1995 Z: An Introduction To Formal Methods | 005.131 DIL 1995 Z: An Introduction To Formal Methods | 005.131 POT 1996 An introduction to formal specification and Z / | 005.131 POT 1996 An introduction to formal specification and Z / |