Safonov, V. O. <br/><br/>
Trustworthy compilers / 

 - Hoboken, N.J. :  John Wiley & Sons,  c2010. 
 - xx, 295 p. :  ill. ; 
 - Wiley series on quantitative software engineering .
<br/><br/><label>ISBN: </label>9780470500958 (cloth) 0470500956 (cloth) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Compilers (Computer programs)<br/>Interpreters (Computer programs)
<br/><br/><label>LC Class. No.: </label>MED QA76.76.C65  / S345