Nielson, Flemming,  1955- <br/><br/>
Principles of program analysis  [[Book] /] 
F. Nielson, Hanne Riis Nielson, Chris Hankin. 
 - Berlin ;  New York :  Springer,  c1999. 
 - xxi, 450 p. ;  24 cm. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>3540654100 (alk. paper) 
<br/><br/><label>LCCN: </label>99047677  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming.<br/>Computer programs.
<br/><br/><label>Dewey Class. No.: </label>005.1 
<br/><br/><label>National Library of Medicine Call No.: </label> / N P