FEEDBACK Smiley face

Formal verification : (Record no. 25603)

000 -LEADER
fixed length control field 00776nam a22002537a 4500
003 - CONTROL NUMBER IDENTIFIER
control field IIITD
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200213122334.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 191111b xxu||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780128007273
040 ## - CATALOGING SOURCE
Original cataloging agency IIITD
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 621.3815
Item number SEL-F
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Seligman, Erik
245 ## - TITLE STATEMENT
Title Formal verification :
Remainder of title an essential toolkit for modern VLSI design
Statement of responsibility, etc by Erik Seligman, Tom Schubert and M. V. Achutha Kiran Kumar
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher, distributor, etc Elsevier,
Place of publication, distribution, etc Oxford :
Date of publication, distribution, etc ©2015
300 ## - PHYSICAL DESCRIPTION
Extent xviii, 391 p. ;
Dimensions 23cm.
500 ## - GENERAL NOTE
General note Included index
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Verilog
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Electronic circuits testing
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Electronic circuits testing
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Electronic circuits
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Schubert, Tom
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Kumar, M. V. Achutha Kiran
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Permanent Location Current Location Shelving location Date acquired Cost, normal purchase price Full call number Barcode Date last seen Cost, replacement price Price effective from Koha item type Bill No. Bill Date PO No. PO Date Vendor/Supplier
        Not For Loan Electronics and Communication Engineering IIITD IIITD Reference 2019-11-08 4693.05 REF 621.3815 SEL-F 009798 2019-11-08 $99.95 2019-11-08 Reference TB1366 2019-11-04 IIITD/LIC/BS/2018/04/28 2019-08-01 Technical Bureau India Pvt. Ltd.

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in