Model checking (Record no. 20351)

MARC details
000 -LEADER
fixed length control field 00423nam a2200169Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 220718s1999||||xx |||||||||||||| ||und||
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780262032704
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 18
Item number CLAR
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Clarke, E.M., et al
110 ## - MAIN ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element Grumberg, O
110 ## - MAIN ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element Peled, D.A
245 1# - TITLE STATEMENT
Title Model checking
Statement of responsibility, etc. E.M. Clarke, et al
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge
Name of publisher, distributor, etc. MIT Press
Date of publication, distribution, etc. 1999
300 ## - PHYSICAL DESCRIPTION
Extent xiv
Accompanying material 314
690 ## - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN)
Topical term or geographic name as entry element Model Checking
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Shelving location Date acquired Total Checkouts Full call number Accession No Date last seen Price effective from Koha item type
      Available CML TIFR CAM Library TIFR CAM Library COMPUTER 18/07/2022   18 CLAR M8444 29/04/2024 18/07/2022 Books

Powered by Koha