Normal view
ISBD view
An introduction to formal specification and Z / / Ben Potter, Jane Sinclair, David Till.
Material type:
TextSeries: Prentice-Hall International series in computer sciencePublication details: London ; New York : : Prentice Hall, 1996.Edition: 2nd edDescription: xiv, 434 p. : : ill. ; ; 24 cmISBN: - 0132422077
- 005.131 POT 1996
| Item type | Current library | Collection | Call number | Status | Date due | Item holds |
|---|---|---|---|---|---|---|
Open Collection
|
FIRST CITY UNIVERSITY COLLEGE | Open Collection | 005.131 POT 1996 (Browse shelf(Opens below)) | Available | ||
|
Open Collection
|
FIRST CITY UNIVERSITY COLLEGE | Open Collection | 005.131 POT 1996 (Browse shelf(Opens below)) | Available | ||
|
Open Collection
|
FIRST CITY UNIVERSITY COLLEGE | Open Collection | 005.131 POT 1996 (Browse shelf(Opens below)) | Available |
Total holds: 0
Browsing FIRST CITY UNIVERSITY COLLEGE shelves, Shelving location: FCUC Library, Collection: Open Collection Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 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 / | 005.131 POT 1996 An introduction to formal specification and Z / | 005.131 REE 1990 Logic for computer science / |