Models, algebras and logic of engineering software / 
edited by Manfred Broy and Markus Pizka 
 - Amsterdam, The Netherlands:   IOS Press,   2003 
 - xi, 403 p.:   ill.;   25 cm. 
 - Nato science series; v. 191 .
<br/><br/> "Proceedings of the NATO Advanced Study Institute on Models, Algebras and Logic of Engineering Software, Marktoberdorf, Germany, 30 July - 11 August 2002" 
<br/><br/>Includes references 
<br/><br/><label>ISBN: </label>1586033425 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Engineering--Computer programs--Congresses<br/>Engineering--Data processing--Congresses<br/>Computer software--Development--Congresses