|
020 -INTERNATIONAL STANDARD BOOK NUMBER
|
|
a
ISBN
0-13-1433474 (alk. paper-)
|
|
|
040 -CATALOGING SOURCE
|
|
a
Original cataloging agency
NEU GrandLibrary
|
|
|
050 -LIBRARY OF CONGRESS CALL NUMBER
|
|
a
Classification number
TK7874.58
|
|
b
Item number
.L36 2005
|
|
|
082 -DEWEY DECIMAL CLASSIFICATION NUMBER
|
|
a
Dewey Classification
621.39/2
|
|
|
100 -MAIN ENTRY--PERSONAL NAME
|
|
a
Personal name
Lam William K C
|
|
d
Dates associated with a name
1962
|
|
|
245 -TITLE STATEMENT
|
|
a
Title
Hardware design verification :
|
|
b
Remainder of title
simulation and formal method-based approaches /
|
|
c
Statement of responsibility, etc
William K. Lam.
|
|
h
Medium
BOOK
|
|
|
260 -PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
|
|
a
Place of publication, distribution, etc
Upper Saddle River, NJ :
|
|
b
Name of publisher, distributor, etc
Prentice Hall Professional Technical Reference,
|
|
c
Date of publication, distribution, etc
c2005.
|
|
|
300 -PHYSICAL DESCRIPTION
|
|
a
Extent
xxv, 585 p. :
|
|
b
Other physical details
ill. ;
|
|
c
Dimensions
24 cm.
|
|
|
440 -SERIES STATEMENT/ADDED ENTRY--TITLE
|
|
a
Title
Prentice Hall modern semiconductor design series
|
|
|
504 -BIBLIOGRAPHY, ETC. NOTE
|
|
a
Bibliography, etc
Includes bibliographical references (p. 539-559) and index.
|
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
|
a
Topical term or geographic name as entry element
Integrated circuits
|
|
|
856 -ELECTRONIC LOCATION AND ACCESS
|
|
|
