TY  - BOOK
AU  - Broy M
AU  - Pizka Markus
ED  - NATO Advanced Study Institute on Models, Algebras, and Logic of Engineering Software
TI  - Models, algebras, and logic of engineering software
SN  - 1586033425
SN  - 1387-6694
AV  - TA345 
U1  - 620/.00285/5 
PY  - 2003///
CY  - Amsterdam, Washington, DC
PB  - IOS Press
KW  - Engineering
KW  - Computer programs
KW  - Data processing
KW  - Software engineering
KW  - Computer software
KW  - Development
KW  - System design
N1  - "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; Includes bibliographical references and index
ER  -