عنوان
پدید آورنده
موضوع
رده
TK 7867 .A38 2004
TK
7867
.
A38
2004
کتابخانه
محل استقرار
1402077211
IR
45313
انگلیسی
IR
Advanced formal verification
[Book]
/ edited by Rolf Drechsler
Boston
: Kluwer Academic Publishers
, c2004
xxv, 249p.
: ill.
; 25 cm
English
Includes bibliographical references and index
Electronic circuits -- Testing
Decision trees
TK
7867
.
A38
2004
Drechsler, Rolf, editor
Iran
University of Tehran. Library of Technical Camp 2
Old cataloging
p
BL
1
Y
