TY  - BOOK
AU  - Broy,Manfred
AU  - Pizka,Markus
TI  - Models, algebras and logic of engineering software
SN  - 1586033425
PY  - 2003///
CY  - Amsterdam, The Netherlands
PB  -  IOS Press
KW  - Engineering
KW  - Computer programs
KW  - Congresses
KW  - Data processing
KW  - Computer software
KW  - Development
N1  - "Proceedings of the NATO Advanced Study Institute on Models, Algebras and Logic of Engineering Software, Marktoberdorf, Germany, 30 July - 11 August 2002"; Includes references
ER  -