Safonov, V. O.  <br/><br/>
Trustworthy compilers /  
Vladimir O. Safonov. 
 - Hoboken, N.J. :    John Wiley & Sons,    c2010. 
 - xx, 295 p. :    ill. ;    25 cm. 
 - Wiley series on quantitative software engineering .
 - Quantitative software engineering series. .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9780470500958 (cloth) 0470500956 (cloth) 
<br/><br/><label>LCCN: </label>2009-052130 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Compilers (Computer programs)<br/> Interpreters (Computer programs)
<br/><br/><label>Dewey Class. No.: </label>005.453