Principles of model checking (Record no. 4020)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 00633nam a22002177a 4500 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | OSt |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20231016164544.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 | 9780262026499 |
040 ## - CATALOGING SOURCE | |
Transcribing agency | |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 004.24 |
Item number | BAI / B |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Baier, Christel |
Relator term | Author |
245 10 - TITLE STATEMENT | |
Title | Principles of model checking |
260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
Place of publication, distribution, etc. | Massachusetts : |
Name of publisher, distributor, etc. | The MIT Press, |
Date of publication, distribution, etc. | ©2008. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | xvii, 963 p. : |
Other physical details | ill. (b&w) ; |
Dimensions | 26 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 | Computer software--Verification |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Katoen, Joost-Pieter |
Relator term | Author |
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 | Total Checkouts | Total Renewals | Full call number | Barcode | Date last seen | Date last checked out | Cost, replacement price | Price effective from | Koha item type | Checked out |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dewey Decimal Classification | Computer Science Engineering | IIT - Dharwad | IIT - Dharwad | 26/09/2023 | 13 | 4843.69 | 2 | 1 | 004.24 BAI / B | 5722 | 04/10/2024 | 26/08/2024 | 6635.20 | 26/09/2023 | Book | |||||
Dewey Decimal Classification | Computer Science Engineering | IIT - Dharwad | IIT - Dharwad | 26/09/2023 | 13 | 4843.69 | 1 | 1 | 004.24 BAI / B | 5726 | 29/12/2023 | 29/12/2023 | 6635.20 | 26/09/2023 | Book | 30/09/2025 | ||||
Dewey Decimal Classification | Computer Science Engineering | IIT - Dharwad | IIT - Dharwad | 26/09/2023 | 13 | 4843.69 | 004.24 BAI / B | 5725 | 26/09/2023 | 6635.20 | 26/09/2023 | Book | ||||||||
Dewey Decimal Classification | Computer Science Engineering | IIT - Dharwad | IIT - Dharwad | 26/09/2023 | 13 | 4843.69 | 004.24 BAI / B | 5723 | 26/09/2023 | 6635.20 | 26/09/2023 | Book | ||||||||
Dewey Decimal Classification | Computer Science Engineering | IIT - Dharwad | IIT - Dharwad | 26/09/2023 | 13 | 4843.69 | 004.24 BAI / B | 5724 | 26/09/2023 | 6635.20 | 26/09/2023 | Book | ||||||||
Dewey Decimal Classification | Course Reserved Book | Computer Science Engineering | IIT - Dharwad | IIT - Dharwad | 07/11/2023 | T V Enterprises | 4862.96 | 004.24 BAI / B | 5760 | 07/11/2023 | 6661.60 | 07/11/2023 | Book |