Safonov, Vladimir O. <br/><br/>
Trustworthy compilers 
Vladimir O. Safonov 
 - Oxford  Wiley  2010 
 - xx, 295 p. :  ill.  23 cm 
<br/><br/>  Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9780470500958  
<br/><br/><label>Subjects--Topical Terms: </label>
<br/><br/><label>Dewey Class. No.: </label>005.453 SAF