AARON R BRADLEY; ZOHAR MANNA. <br/><br/>
THE CALCULUS OF COMPUTATION : DECISION PROCEDURES WITH APPLICATIONS TO VERIFICATION 

 - 
 -  SPRINGER.  2010 
 - 366 p. 
<br/><br/><label>ISBN: </label>9.78818E+12 
<br/><br/><label>Subjects--Topical Terms: </label><br/>CALCULUS
<br/><br/><label>Dewey Class. No.: </label>515 BRA  / AAR