HACHTEL,G D <br/><br/>
LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS 

 - Boston  Kluwer Academic  1996 
 - 564p.,26X18 
<br/><br/><label>ISBN: </label>0792397460 
<br/><br/><label>Dewey Class. No.: </label>621.381 73 H117