GARY D HACHTEL; FABIO SOMENZI <br/><br/>
LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS 
GARY D HACHTEL AND FABIO SOMENZI 
 - 
 -  SPRINGER  2008 
 - xxxii, 564 p. 
<br/><br/><label>ISBN: </label>9788181284839 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LOGIC
<br/><br/><label>Dewey Class. No.: </label>621.39522 HAC  / GAR