عنوان
پدید آورنده
موضوع
رده
TK 7874.75 .K76 1999
TK
7874
.
75
.
K76
1999
کتابخانه
محل استقرار
CE
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Kropf, Thomas
Title Proper
Introduction to formal hardware verification
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
1999
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
ix, 299 p
GENERAL NOTES
Text of Note
Includes bibliographical refrences )p. ]277[-289( and index
TOPICAL NAME USED AS SUBJECT
Entry Element
Integrated circuits - Very large scale integration - Computer-aided design
Entry Element
Integrated circuits - Verification
LIBRARY OF CONGRESS CLASSIFICATION
Class number
TK
Book number
7874
.
75
Classification Record Number
.
K76
1999
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Dates
1961-
Entry Element
Thomas Kropf
