RecordNumber
35692
Author
Yuan, Jun
Title
Constraint-based verification
Author Statement
Jun Yuan, CarlPixley, Adnan Aziz
Publication
Springe
Publication Year
2006
Collation
xii, 253 p. : illus
Notes
Includes bibliographical references (p. [231]-246) and index , 0387259473
Subject
Constraints (Artificial intelligence) , Digital electronics -- Testing , Electronic systems -- Testing , Electronic systems -- Design and construction
ADDED ENTRIES
Pixley, Carl , Aziz, Adnan ,
LC Class
Q
LC Number
340
LC CutterNumber
.Y83
LC Date
2006
وارد کنندة اطلاعات
داوري