Engineering theories of software construction / 
[edited by] Tony Hoare, Manfred Broy, and Ralf Steinbr?. 
 - Burke, VA :  IOS Press,  2001. 
 - ix, 357 p. :  ill. ;  25 cm. 
 - NATO science series. Series III, Computer and systems sciences ;  180 .
 - NATO science series.  Computer and systems sciences ;  v. 180 .
<br/><br/> "Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Construction, 25 July-6 August 2000, Markotoberdorf, Germany"--T.p. verso. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>1586031724  4274904350 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering<br/>System design
<br/><br/><label>LC Class. No.: </label>QA76.758