(An) introduction to formal specification with Z and VDM / (Record no. 4641)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00425 a2200145 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20230607142127.0 |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.73 |
| Item number | Z2She. |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Sheppard, Deri. |
| 245 ## - TITLE STATEMENT | |
| Title | (An) introduction to formal specification with Z and VDM / |
| Statement of responsibility, etc. | Deri Sheppard. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Name of publisher, distributor, etc. | McGraw-Hill |
| Date of publication, distribution, etc. | 1995. |
| 501 ## - WITH NOTE | |
| With note | 8750 |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Z (Computer program language). |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer software - Development. |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Open Book Shelf |
| -- | QA76.73 Z2She. |
| 952 ## - LOCATION AND ITEM INFORMATION (KOHA) | |
| Date last seen | 2007-07-19 |
| 952 ## - LOCATION AND ITEM INFORMATION (KOHA) | |
| Date last seen | 2007-07-19 |
| 952 ## - LOCATION AND ITEM INFORMATION (KOHA) | |
| Date last seen | 2007-07-19 |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Total Checkouts | Full call number | Barcode | Date last checked out | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| FOUNDERS LIBRARY (S2) | FOUNDERS LIBRARY (S2) | New Materials Shelf | 20.08.2007 | QA76.73 Z2She. | Q001581 | 07.06.2023 | Open Book Shelf | |||||||
| Lost | Damaged | HELP UNIVERSITY (HU) | HELP UNIVERSITY (HU) | New Materials Shelf | 20.08.2007 | QA76.73 Z2She. | Q001579 | 07.06.2023 | Open Book Shelf | |||||
| Lost | Damaged | HELP UNIVERSITY (HU) | HELP UNIVERSITY (HU) | New Materials Shelf | 08.02.2010 | QA76.73 Z2She. | Q003465 | 07.06.2023 | Open Book Shelf |