Yuan, Jun
Constraint-based verification
- New York: Springer, 2006
- vii, 253 p.; ill.: 24 cm.
0387259473 (hbk)
Constraints - Artificial intelligence
Digital electronics -Testing
Electronic systems
Design and construction
Boolean algebra
005.115 / YUA