Formal methods for intractive systems (Record no. 374837)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01216nam a2200229Ia 4500 |
| 001 - CONTROL NUMBER | |
| control field | 0000342756 |
| 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 | 122183150 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 001.64 |
| 084 ## - OTHER CLASSIFICATION NUMBER | |
| Classification number | 001.64 |
| Item number | DIX |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Dix, Alan John |
| 245 #0 - TITLE STATEMENT | |
| Title | Formal methods for intractive systems |
| Medium | [Book] |
| Statement of responsibility, etc. | Alan John Dix. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Name of publisher, distributor, etc. | Academic Press London |
| 521 ## - TARGET AUDIENCE NOTE | |
| Target audience note | All. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Interactive Computer Systems |
| 852 ## - LOCATION | |
| Piece designation | 10003000030388 |
| -- | 739.00 |
| Classification part | 001.64 DIX |
| -- | 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 | 10003000030389 |
| -- | 739.00 |
| Classification part | 001.64 DIX |
| -- | 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 | 10003000030390 |
| -- | 739.00 |
| Classification part | 001.64 DIX |
| -- | 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 | 10003000030391 |
| -- | 739.00 |
| Classification part | 001.64 DIX |
| -- | 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 | 10003000030392 |
| -- | 739.00 |
| Classification part | 001.64 DIX |
| -- | 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 | 001.64 DIX | 11/17/2023 | Books | COMSATS University Abbottabad Campus | 10003000030388 | COMSATS University Abbottabad Campus | 11/17/2023 | ||||||
| 11/17/2023 | 001.64 DIX | 11/17/2023 | Books | COMSATS University Abbottabad Campus | 10003000030389 | COMSATS University Abbottabad Campus | 11/17/2023 | ||||||
| 11/17/2023 | 001.64 DIX | 11/17/2023 | Books | COMSATS University Abbottabad Campus | 10003000030390 | COMSATS University Abbottabad Campus | 11/17/2023 | ||||||
| 11/17/2023 | 001.64 DIX | 11/17/2023 | Books | COMSATS University Abbottabad Campus | 10003000030391 | COMSATS University Abbottabad Campus | 11/17/2023 | ||||||
| 11/17/2023 | 001.64 DIX | 11/17/2023 | Books | COMSATS University Abbottabad Campus | 10003000030392 | COMSATS University Abbottabad Campus | 11/17/2023 |