Image from Syndetics
An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till.
Material type:
TextSeries: Prentice Hall International series in computer sciencePublication details: Hemel Hempstead : Prentice Hall, 1996. Edition: 2nd edISBN: 0132422077Subject(s): Computer programming | computer systems programming | Computer systems. ProgrammingDDC classification: 005.12 LOC classification: QA76.6
| Item type | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
Two Week Loan
|
College Lane Learning Resources Centre Main Shelves | 005.131 POT (Browse shelf(Opens below)) | Available | 6000791882 | ||
|
Two Week Loan
|
College Lane Learning Resources Centre Main Shelves | 005.131 POT (Browse shelf(Opens below)) | Available | 6000791971 | ||
|
Two Week Loan
|
College Lane Learning Resources Centre Main Shelves | 005.131 POT (Browse shelf(Opens below)) | Available | 6000791944 | ||
|
Two Week Loan
|
College Lane Learning Resources Centre Main Shelves | 005.131 POT (Browse shelf(Opens below)) | Available | 6000791962 | ||
|
Two Week Loan
|
College Lane Learning Resources Centre Main Shelves | 005.131 POT (Browse shelf(Opens below)) | Available | 6000791917 | ||
|
Two Week Loan
|
College Lane Learning Resources Centre Main Shelves | 005.131 POT (Browse shelf(Opens below)) | Available | 6000791908 | ||
|
Two Week Loan
|
College Lane Learning Resources Centre Main Shelves | 005.131 POT (Browse shelf(Opens below)) | Available | 6000791935 | ||
|
Two Week Loan
|
College Lane Learning Resources Centre Main Shelves | 005.131 POT (Browse shelf(Opens below)) | Available | 6000791953 | ||
|
Two Week Loan
|
College Lane Learning Resources Centre Main Shelves | 005.131 POT (Browse shelf(Opens below)) | Available | 6000791926 | ||
Not For Loan
|
College Lane Learning Resources Centre Main Shelves | 005.131 POT (Browse shelf(Opens below)) | Not for loan | 6000791891 | ||
|
Two Week Loan
|
College Lane Learning Resources Centre Main Shelves | 005.131 POT (Browse shelf(Opens below)) | Available | 4403910183 |
Total holds: 0
Enhanced descriptions from Syndetics:
Includes bibliography and index.