عنوان
پدید آورنده
موضوع
رده
TK 7888.4 .M43 1993
TK
7888
.
4
.
M43
1993
کتابخانه
محل استقرار
لاتين
by Kenneth L. McMillan
author
Symbolic model checking
Boston
Kluwer Academic
1993
xv, 194p.: ill.; 28 cm
مرجع به حساب نمي آيد
Includes bibliographical references (p. 183-190) and index
Electronic digital computers - Circuits - Design - Data processing
Symbolic circuit analysis - Data processing
Logic design - Data processing
TK
7888
.
4
.
M43
1993
مولف
McMillan, Kenneth L.
