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

• Main Author: Broy, M., 1949-
• Other Authors: GrΓΌnbauer, Johannes, Harel, David, 1950-, Hoare, Tony
• Format: Electronic Kit Book
• Language: English
• Published: Dordrecht Springer 2005
• Series: NATO Science Series, Series II: Mathematics, Physics and Chemistry 195
• Subjects: Computer science; Software engineering; Information theory; Computer Science; Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Theory of Computation; Models and Principles