Yuan, Jun. <br/><br/>
Constraint-Based Verification  [electronic resource] / 
by Jun Yuan, Carl Pixley, Adnan Aziz. 
 - Boston, MA :  Springer Science+Business Media, Inc.,  2006. 
 - xii, 253 p. :  ill., digital ;  24 cm. 
<br/><br/><label>ISBN: </label>9780387307848 (electronic bk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Constraints (Artificial intelligence)<br/>Digital electronics--Testing.<br/>Electronic systems--Testing.<br/>Electronic systems--Design and construction.<br/>Engineering.<br/>Electronic and Computer Engineering.<br/>Computer-Aided Engineering (CAD, CAE) and Design.<br/>Circuits and Systems.
<br/><br/><label>LC Class. No.: </label>Q340  / .Y83 2006 
<br/><br/><label>Dewey Class. No.: </label>005.115