Manfred Broy
Encyclopedia
Manfred Broy is a German computer scientist
.
Broy is a professor in the Institut für Informatik at the Technische Universität München, Garching, Germany
.
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
.
Broy is a professor in the Institut für Informatik at the Technische Universität München, Garching, Germany
Germany
Germany , officially the Federal Republic of Germany , is a federal parliamentary republic in Europe. The country consists of 16 states while the capital and largest city is Berlin. Germany covers an area of 357,021 km2 and has a largely temperate seasonal climate...
.
Selected books
- Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer ScienceLecture Notes in Computer ScienceLecture Notes in Computer Science is a series of computer science books that has been published by Springer Science+Business Media since 1973....
) 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: MarktoberdorfMarktoberdorfMarktoberdorf is the capital of the Bavarian district of Ostallgäu in the Regierungsbezirk of Swabia.Marktoberdorf is near Kempten, Füssen, known for the castle Neuschwanstein, Bad Wörishofen, and Schongau. The nearest larger city is Kaufbeuren, eleven kilometers away.Marktoberdorf plays host to a...
), 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 HarelDavid HarelDavid Harel is a professor of computer science at the Weizmann Institute of Science in Israel. Born in London, England, he was Dean of the Faculty of Mathematics and Computer Science at the institute for seven years.-Biography:...
, 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ørnerDines BjørnerProfessor Dines Bjørner is a Danish computer scientist.He specializes in research into domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on the Vienna Development Method at IBM in Vienna...
, and Igor V. Pottosin (1993)