عنوان
پدید آورنده
موضوع
رده
TK7867 .A38 2004
TK7867
.
A38
2004
کتابخانه
محل استقرار
1402077211
IR
EB10729
انگلیسی
IR
Advanced formal verification
[Electronic Resource]
/ edited by Rolf Drechsler
Boston
: Kluwer Academic Publishers,
, c2004.
xxv, 249 p. ill. 25 cm.
e
ng
Includes bibliographical references and index.
Electronic circuits- Testing
Decision trees
621
.
3815
.
48
TK7867
.
A38
2004
Drechsler, Rolf
ایران
1402077211.pdf
محرمانه
محرمانه
1402077211.pdf
0
متن
old catalog
e
BL
1
a
Y
