عنوان
پدید آورنده
موضوع
رده
TK 7874 .K866 1997
TK
7874
.
K866
1997
کتابخانه
محل استقرار
117251
تابستان۸۷
English
)50(
Kunz, Wolfgang
Reasoning in Boolean networks: logic synthesis and verification using testing techniques
Boston
Kluwer Academic Pub.
1997
xv, 230 p.: ill.; 25 cm
Frontiers in electronic testing
Includes bibliographical references and index
، Integrated circuits-- Very large scale integration-- Testing-- Data processing
، Integrated circuits-- Verification-- Data processing
، Logic design-- Data processing
TK
7874
.
K866
1997
AU
by Wolfgang Kunz and Dominik Stoffel
AU kinimoD ,leffotS
TI
05
