Models, algebras, and logic of engineering software / 
edited by Manfred Broy and Markus Pizka. 
 - Amsterdam ;  Washington, DC :  IOS Press,  2003. 
 - xi, 403 p. :  ill. ;  25 cm. 
 - NATO science series.  Series III,  Computer and systems sciences ;  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"--T.p. verso. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>1586033425 4274905896 
<br/><br/><label>ISSN: </label>1387-6694 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Engineering--Computer programs<br/>Engineering--Data processing<br/>Software engineering<br/>Computer software--Development<br/>System design
<br/><br/><label>LC Class. No.: </label>TA345 
<br/><br/><label>Dewey Class. No.: </label>620/.00285/5