TY  - DATA
AU  - Broy,Manfred
AU  - Grünbauer,Johannes
AU  - Harel,David
AU  - Hoare,Tony
ED  - SpringerLink (Online service)
TI  - Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 
SN  - 9781402035326
AV  - QA76.758  B76 2005
PY  - 2005///
CY  - Dordrecht
PB  - Springer
KW  - Computer science
KW  - Software engineering
KW  - Information theory
KW  - Computer Science
KW  - Software Engineering
KW  - Models and Principles
KW  - Theory of Computation
KW  - Programming Techniques
KW  - Programming Languages, Compilers, Interpreters
UR  - http://dx.doi.org/10.1007/1-4020-3532-2
ER  -