عنوان
پدید آورنده
موضوع
رده
Q 340 .Y83
Q
340
.
Y83
کتابخانه
محل استقرار
Constraint-based verification
New York, NY
Springer
c2006
xii, 253 p. : ill. ; 24 cm.
Includes bibliographical references )p. ]231[-246( and index
Jun Yuan, Carl Pixley, Adnan Aziz
1
، Constraints )Artificial intelligence(
Testing ، Digital electronics
Testing ، Electronic systems
Design and construction ، Electronic systems
005
.
115
Q
340
.
Y83
Yuan, Jun.
AU
AU Pixley, Carl
AU Aziz, Adnan
TI
