-
RecordNumber
18774
-
Author
Kroff, Thomas
-
Title
Introduction to formal hardware verification
-
Author Statement
Thomas Kropf
-
Publication
Springer
-
Publication Year
1999
-
Collation
ix, 299 P., illus
-
Notes
3540654453 , Includes bibliographical references (P. [277]-289)
-
Subject
Integrated circuits - Verification , Integrated circuits - Very large scale integration - Computer-aided design
-
LC Class
TK
-
LC Number
7874.75
-
LC CutterNumber
.K76
-
LC Date
1999
-
وارد کنندة اطلاعات
صادقي
-
Link To Document :
