Technische Universität München


Institut für Informatik, I4 (Software & Systems Engineering)

Dr. Ralf Steinbrüggen


E-mail:  steinbru@in.tum.de

Secretary of the Marktoberdorf Summer School 1991 - 2002

Books:

Manfred Broy, Ralf Steinbrüggen: Modellbildung in der Informatik. Xpert.press Series, Heidelberg: Springer 2003

Helmut Schwichtenberg, Ralf Steinbrüggen (eds.): Proof and System-Reliability, Proc. Marktoberdorf Summer School 2001, NATO Science Series, vol. II 62, Dordrecht: Kluwer Academic Publishers 2002

Tony Hoare, Manfred Broy, Ralf Steinbrüggen (eds.): Engineering Theories of Software Construction. Proc. Marktoberdorf Summer School 2000, NATO Science Series, vol. III 180, Amsterdam: IOS Press 2001

Friedrich L. Bauer, Ralf Steinbrüggen (eds.): Foundations of Secure Computation. Proc. Marktoberdorf Summer School 1999, NATO Science Series, vol. F 175, Amsterdam: IOS Press 2000

Manfred Broy, Ralf Steinbrüggen (eds.): Calculational System Design. Proc. Marktoberdorf Summer School 1998, NATO Science Series, vol. F 173, Amsterdam: IOS Press 1999


March 2017