عنوان
پدید آورنده
موضوع
رده
TK7874 .K866 1997
TK7874
.
K866
1997
کتابخانه
محل استقرار
استان: أذربایجان الشرقیة ـ شهر: تبریز
0792399218
IR
90-944
انگلیسی
IR
Reasoning in Boolean networks
[Book]
:logic synthesis and verification using testing techniques
/ by Wolfgang Kunz and Dominik Stoffel
Boston
: Kluwer Academic Publishers,
, c1997.
xv, 230 p.
:, ill.
; 25 cm.
(Frontiers in electronic testing)
Language: انگلیسی
Print
Includes bibliographical references (p. 201-212) and index.
Integrated circuits, Very large scale integration, Testing, Data processing
Integrated circuits, Verification, Data processing
Logic design, Data processing
TK7874
.
K866
1997
Kunz, Wolfgang.
Stoffel, Dominik
ایران
old catalog
p
BL
1
a
Y
