Principles of model checking (Record no. 373160)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01242nam a2200229Ia 4500 |
| 001 - CONTROL NUMBER | |
| control field | 0000342768 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | 0003 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 191223s9999||||xx |||||||||||||| ||eng|| |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780262026499 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.24 |
| 084 ## - OTHER CLASSIFICATION NUMBER | |
| Classification number | 004.24 |
| Item number | BAI |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Baier, Christel |
| 245 #0 - TITLE STATEMENT | |
| Title | Principles of model checking |
| Medium | [Book] |
| Statement of responsibility, etc. | Christel Baier. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Name of publisher, distributor, etc. | Massachusetts Institute of Technology (MIT) |
| 521 ## - TARGET AUDIENCE NOTE | |
| Target audience note | All. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer Software Verification |
| 852 ## - LOCATION | |
| Piece designation | 10003000030426 |
| -- | 1666.00 |
| Classification part | 004.24 BAI |
| -- | ANAS Traders Photostate Islamabad |
| Sublocation or collection | Main Library |
| Former shelving location | Textbooks |
| Copy number | 1 |
| Piece physical condition | 1-New |
| Location | Abbotabad Campus |
| Piece designation | 10003000030427 |
| -- | 1666.00 |
| Classification part | 004.24 BAI |
| -- | ANAS Traders Photostate Islamabad |
| Sublocation or collection | Main Library |
| Former shelving location | Textbooks |
| Copy number | 2 |
| Piece physical condition | 1-New |
| Location | Abbotabad Campus |
| Piece designation | 10003000030428 |
| -- | 1666.00 |
| Classification part | 004.24 BAI |
| -- | ANAS Traders Photostate Islamabad |
| Sublocation or collection | Main Library |
| Former shelving location | Textbooks |
| Copy number | 3 |
| Piece physical condition | 1-New |
| Location | Abbotabad Campus |
| Piece designation | 10003000030429 |
| -- | 1666.00 |
| Classification part | 004.24 BAI |
| -- | ANAS Traders Photostate Islamabad |
| Sublocation or collection | Main Library |
| Former shelving location | Textbooks |
| Copy number | 4 |
| Piece physical condition | 1-New |
| Location | Abbotabad Campus |
| Piece designation | 10003000030430 |
| -- | 1666.00 |
| Classification part | 004.24 BAI |
| -- | ANAS Traders Photostate Islamabad |
| Sublocation or collection | Main Library |
| Former shelving location | Textbooks |
| Copy number | 5 |
| Piece physical condition | 1-New |
| Location | Abbotabad Campus |
| Date last seen | Total checkouts | Full call number | Shelving location | Price effective from | Koha item type | Lost status | Damaged status | Not for loan | Withdrawn status | Home library | Barcode | Current library | Date acquired |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 11/17/2023 | 004.24 BAI | 11/17/2023 | Books | COMSATS University Abbottabad Campus | 10003000030426 | COMSATS University Abbottabad Campus | 11/17/2023 | ||||||
| 11/17/2023 | 004.24 BAI | 11/17/2023 | Books | COMSATS University Abbottabad Campus | 10003000030427 | COMSATS University Abbottabad Campus | 11/17/2023 | ||||||
| 11/17/2023 | 004.24 BAI | 11/17/2023 | Books | COMSATS University Abbottabad Campus | 10003000030428 | COMSATS University Abbottabad Campus | 11/17/2023 | ||||||
| 11/17/2023 | 004.24 BAI | 11/17/2023 | Books | COMSATS University Abbottabad Campus | 10003000030429 | COMSATS University Abbottabad Campus | 11/17/2023 | ||||||
| 11/17/2023 | 004.24 BAI | 11/17/2023 | Books | COMSATS University Abbottabad Campus | 10003000030430 | COMSATS University Abbottabad Campus | 11/17/2023 |