عنوان
پدید آورنده
موضوع
رده
TK 7874.75 .K76 1999
TK
7874
.
75
.
K76
1999
کتابخانه
محل استقرار
CE
Kropf, Thomas
Introduction to formal hardware verification
New York
Springer
1999
ix, 299 p
Includes bibliographical refrences )p. ]277[-289( and index
Integrated circuits - Very large scale integration - Computer-aided design
Integrated circuits - Verification
TK
7874
.
75
.
K76
1999
AU
1961-
Thomas Kropf
