Model checking (Record no. 4019)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00614nam a22002297a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20231016145526.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 231016b |||||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780262038836 |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.21 |
| Item number | CLA / B |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Clarke, Jr., Edmund M. |
| Relator term | Auhtor |
| 245 10 - TITLE STATEMENT | |
| Title | Model checking |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 2nd ed. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Massachusetts : |
| Name of publisher, distributor, etc. | The MIT Press, |
| Date of publication, distribution, etc. | ©2018. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xx, 402 p. : |
| Other physical details | ill. (b&w) ; |
| Dimensions | 24 cm (Hardbound) |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes index. |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer systems--Verification |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computers |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer systems |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | Book |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Home library | Current library | Date acquired | Source of acquisition | Cost, normal purchase price | Full call number | Barcode | Date last seen | Cost, replacement price | Price effective from | Koha item type | Total Checkouts | Total Renewals | Checked out | Date last checked out |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Computer Science Engineering | IIT - Dharwad | IIT - Dharwad | 13/09/2023 | T V Enterprises | 4525.08 | 004.21 CLA / B | 5699 | 13/09/2023 | 6198.75 | 13/09/2023 | Book | ||||||||
| Dewey Decimal Classification | Computer Science Engineering | IIT - Dharwad | IIT - Dharwad | 26/09/2023 | 13 | 4540.96 | 004.21 CLA / B | 5721 | 29/12/2023 | 6220.50 | 26/09/2023 | Book | 1 | 1 | 30/09/2025 | 29/12/2023 | ||||
| Dewey Decimal Classification | Course Reserved Book | Computer Science Engineering | IIT - Dharwad | IIT - Dharwad | 26/09/2023 | 13 | 4540.96 | 004.21 CLA / B | 5716 | 20/09/2023 | 6220.50 | 26/09/2023 | Book | |||||||
| Dewey Decimal Classification | Computer Science Engineering | IIT - Dharwad | IIT - Dharwad | 26/09/2023 | 13 | 4540.96 | 004.21 CLA / B | 5720 | 20/09/2023 | 6220.50 | 26/09/2023 | Book | ||||||||
| Dewey Decimal Classification | Computer Science Engineering | IIT - Dharwad | IIT - Dharwad | 26/09/2023 | 13 | 4540.96 | 004.21 CLA / B | 5718 | 20/09/2023 | 6220.50 | 26/09/2023 | Book | ||||||||
| Dewey Decimal Classification | Computer Science Engineering | IIT - Dharwad | IIT - Dharwad | 26/09/2023 | 13 | 4540.96 | 004.21 CLA / B | 5719 | 12/12/2024 | 6220.50 | 26/09/2023 | Book | 1 | 03/09/2025 | 12/12/2024 | |||||
| Dewey Decimal Classification | Computer Science Engineering | IIT - Dharwad | IIT - Dharwad | 26/09/2023 | 13 | 4540.96 | 004.21 CLA / B | 5717 | 20/09/2023 | 6220.50 | 26/09/2023 | Book |