-
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
-
وارد کنندة اطلاعات
داوري
-
Link To Document :
