Nielson, Flemming, d <br/><br/>
Principles of program analysis  
F. Nielson, Hanne Riis Nielson, Chris Hankin.  
 - Berlin ; New York   Springer, c 
 - xxi, 450 p.   24 cm. 
<br/><br/><label>ISBN: </label>9783540654100 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software--Anlyze
<br/><br/><label>LC Class. No.: </label>QA76.6  / .N537 2005