Principles of model checking (Record no. 4020)

MARC details
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
Holdings
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  

This Site Maintained by Central Library, IIT DharwadFor any Queries / Suggestions Please Contact us @Phone: (0836) 221 2824; e-mail: librarian@iitdh.ac.in

This Site is Best Viewed with Mozilla Firefox.