Manfred Broy
From Wikipedia, the free encyclopedia
 |
The topic of this article may not meet Wikipedia's general notability guideline. Please help to establish notability by adding reliable, secondary sources about the topic. If notability cannot be established, the article is likely to be merged, redirected, or deleted. (December 2010) |
Manfred Broy (born 10 August 1949 at Landsberg am Lech) is a German computer scientist.
Broy is a professor in the Institut für Informatik at the Technische Universität München, Garching, Germany.
[edit] Selected books
- Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science) by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, and Alexander Pretschner (2005)
- Software Pioneers by Manfred Broy and Ernst Denert (2002)
- Software Systems Reliability and Security — Volume 9, NATO Security through Science Series: Information and Communication Security (Nato Security Through … D: Information and Communication Security) by Manfred Broy, Johannes Grunbauer, and Tony Hoare (2007)
- Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10–12, 2004, Revised … Papers (Lecture Notes in Computer Science) by Manfred Broy, Ingolf Krüger, and Michael Meisinger (2006)
- Calculational System Design (NATO Science Series: Computers & Systems Sciences) (NATO ASI Series Series III, Computer and Systems Sciences) by Germany) NATO Advanced Study Institute on Calculational System Design (1998: Marktoberdorf), Manfred Broy, and R. Steinbruggen (2000)
- Constructive Methods in Computing Science: International Summer School (NATO ASI series. Series F, Computer and systems sciences) by Manfred Broy (1989)
- Deductive Program Design (NATO ASI Series / Computer and Systems Sciences) by Manfred Broy (1996)
- Engineering Theories of Software Construction (NATO Science Series. Series III, Computer and Systems Sciences, 180) by Germany) NATO Advanced Study Institute on Engineering Theories of Software Construction (2000: Marktoberdorf), Tony Hoare, Manfred Broy, and Ralf Steinbruggen (2001)
- Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, … II: Mathematics, Physics and Chemistry) by Manfred Broy, Johannes Gruenbauer, David Harel, and Tony Hoare (2005) — Kindle Book
- Formal Methods in Programming and their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993: Proceedings (Lecture Notes in Computer Science) by Manfred Broy, Dines Bjørner, and Igor V. Pottosin (1993)
[edit] See also
[edit] External links
 |
This biography of an academic is a stub. You can help Wikipedia by expanding it. |
