Model Checking (Record no. 22368)

MARC details
000 -LEADER
fixed length control field 00395nam a22001577a 4500
003 - CONTROL NUMBER IDENTIFIER
control field CUTN
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20170725190359.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 170725b xxu||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780262032704
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.21
Item number CLA
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Clarke M edmund,Grumberg Orna, Pale A Doron
245 ## - TITLE STATEMENT
Title Model Checking
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc London
Name of publisher, distributor, etc The MIT Press
Date of publication, distribution, etc 1999
300 ## - PHYSICAL DESCRIPTION
Extent 314
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type General Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Location Shelving location Date of Cataloging Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type Date checked out Total Renewals
    Dewey Decimal Classification     Non-fiction CUTN Central Library CUTN Central Library Generalia 25/07/2017   004.21 CLA 26936 25/07/2017 1 25/07/2017 General Books    
    Dewey Decimal Classification     Non-fiction CUTN Central Library CUTN Central Library Generalia 25/07/2017   004.21 CLA 26937 25/07/2017 2 25/07/2017 General Books    
    Dewey Decimal Classification     Non-fiction CUTN Central Library CUTN Central Library Generalia 25/07/2017 1 004.21 CLA 26938 26/05/2023 3 25/07/2017 General Books 02/05/2023  
    Dewey Decimal Classification     Non-fiction CUTN Central Library CUTN Central Library Generalia 25/07/2017   004.21 CLA 26939 25/07/2017 4 25/07/2017 General Books    
    Dewey Decimal Classification     Non-fiction CUTN Central Library CUTN Central Library Generalia 25/07/2017 1 004.21 CLA 26940 14/07/2022 5 25/07/2017 General Books 01/04/2022 2
    Dewey Decimal Classification     Reference CUTN Central Library CUTN Central Library Reference 31/07/2017   004.21 CLA 26869 31/07/2017 6 31/07/2017 Reference Books    
    Dewey Decimal Classification     Non-fiction CUTN Central Library CUTN Central Library Generalia 31/07/2017   004.21 CLA 26870 31/07/2017 7 31/07/2017 General Books    
    Dewey Decimal Classification     Non-fiction CUTN Central Library CUTN Central Library Generalia 31/07/2017   004.21 CLA 26871 31/07/2017 8 31/07/2017 General Books    
    Dewey Decimal Classification     Non-fiction CUTN Central Library CUTN Central Library Generalia 31/07/2017   004.21 CLA 26872 31/07/2017 9 31/07/2017 General Books    
    Dewey Decimal Classification     Non-fiction CUTN Central Library CUTN Central Library Generalia 31/07/2017   004.21 CLA 26873 31/07/2017 10 31/07/2017 General Books