Model checking (Record no. 9152)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01185cam a2200325 i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 20424399 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20210224113342.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 180330s2018 mau b 001 0 eng |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER | |
| LC control number | 2018014965 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780262038836 (hardcover : alk. paper) |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | DLC |
| Language of cataloging | eng |
| Transcribing agency | IISERB |
| Description conventions | rda |
| Modifying agency | DLC |
| 042 ## - AUTHENTICATION CODE | |
| Authentication code | pcc |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.76.V47 |
| Item number | C553 2018 |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.21 C551M2 |
| Edition number | 23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Clarke, Edmund M. |
| Relator term | author. |
| 9 (RLIN) | 26052 |
| 222 ## - KEY TITLE | |
| Key title | EECS-reference book collection |
| 245 10 - TITLE STATEMENT | |
| Title | Model checking |
| Statement of responsibility, etc | Edmund M Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, and Helmut Veith. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | Second edition. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | Cambridge: |
| Name of publisher, distributor, etc | The MIT Press, |
| Date of publication, distribution, etc | 2018. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xx, 402 pages ; |
| Dimensions | 24 cm. |
| 490 0# - SERIES STATEMENT | |
| Series statement | The cyber-physical systems series |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes bibliographical references and index. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer systems |
| General subdivision | Verification. |
| 9 (RLIN) | 26053 |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Grumberg, Orna. |
| 9 (RLIN) | 26812 |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Kroening, Daniel. |
| 9 (RLIN) | 26813 |
| 906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) | |
| a | 7 |
| b | cbc |
| c | orignew |
| d | 1 |
| e | ecip |
| f | 20 |
| g | y-gencatlg |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | Books |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Cost, normal purchase price | Total Checkouts | Full call number | Barcode | Date last seen | Cost, replacement price | Price effective from | Koha item type | Public note |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Not For Loan | Reference | Central Library, IISER Bhopal | Central Library, IISER Bhopal | Reference Section | 24/02/2021 | 31 | 4007.00 | 004.21 C551M2 | 10569 | 24/02/2021 | 5444.25 | 24/02/2021 | Books | Reserve |