Bradley Aaron R <br/><br/>
Calculus of computation: Decision procedures with applications to verification 

 - Berlin  Springer-Verlag         2007 
 - xv, 365p.  cm. 
<br/><br/> Bibliographical references 351-355p; Index 357-366p 
<br/><br/><label>ISBN: </label>9783540741121 (hbd) 
<br/><br/><label>Standard No.: </label>79265 
<br/><br/><label>Source: </label> 91, 27/11/2007, Vardhman Books  Textbook 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Calulus<br/>Mathematics
<br/><br/><label>Dewey Class. No.: </label>D65,8(B):(B32), P7   TD