Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

INTRODUCTION TO FORMAL HARDWARE VERIFICATION (Record no. 334278)

000 -LEADER
fixed length control field 00494pam a2200169a 44500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160408b1000 xxu||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540654453
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004
Item number K927I
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Kropf,Thomas
245 1# - TITLE STATEMENT
Title INTRODUCTION TO FORMAL HARDWARE VERIFICATION
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.
Name of publisher, distributor, etc. Springer-Verlag,Berlin
Date of publication, distribution, etc. 1000
300 ## - PHYSICAL DESCRIPTION
Extent ix,299
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Electronic Digital Computers -- Design And Construction
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer Input-Output Equipment
964 ## -
-- CIRC
997 ## -
-- A131136 C
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Date acquired Full call number Barcode Date last seen Price effective from Koha item type
        General Stacks PK Kelkar Library, IIT Kanpur PK Kelkar Library, IIT Kanpur 2007-08-12 004 K927I A131136 2016-04-08 2016-04-08 Books

Powered by Koha