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

Scalable hardware verification with symbolic simulation (Record no. 371645)

MARC details
000 -LEADER
fixed length control field 00572pam a2200169a 44500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160408b2006 xxu||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780387244112
040 ## - CATALOGING SOURCE
Original cataloging agency P K Kelkar Library, IIT Kanpur
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 621.395
Item number B461s
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Bertacco, Valeria
245 0# - TITLE STATEMENT
Title Scalable hardware verification with symbolic simulation
Statement of responsibility, etc. Valeria Bertacco
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York
Name of publisher, distributor, etc. Springer
Date of publication, distribution, etc. 2006
300 ## - PHYSICAL DESCRIPTION
Extent xx, 177p
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Integrated circuits -- Verification -- Simulation methods
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element System design -- Simulation methods
997 ## -
-- A174766 s C
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Source of acquisition Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Uniform Resource Identifier Price effective from Koha item type
        COMPACT STORAGE (BASEMENT) PK Kelkar Library, IIT Kanpur PK Kelkar Library, IIT Kanpur 05/09/2012 International Book Agency 2517.48   621.395 B461s A174766 08/04/2016 Book Request 08/04/2016 Books

Powered by Koha