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

Introduction to formal hardware verification (Record no. 334278)

MARC details
000 -LEADER
fixed length control field 00480pam a2200157a 44500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160408b1000 xxu||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 3540654453
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004
Item number K927i
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name Kropf, Thomas
245 1# - TITLE STATEMENT
Title Introduction to formal hardware verification
Statement of responsibility, etc Thomas Kropf
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher Springer-Verlag
Year of publication 1999
Place of publication Berlin
300 ## - PHYSICAL DESCRIPTION
Number of Pages ix, 299p
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Electronic Digital Computers -- Design And Construction
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer Input-Output Equipment
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 Date acquired Full call number Accession Number Koha item type
        General Stacks PK Kelkar Library, IIT Kanpur PK Kelkar Library, IIT Kanpur 12/08/2007 004 K927i A131136 Books

Powered by Koha