M. Broy

Born: 1949

No bio available. Add one in Open Library.

Born: 1949

Books by M. Broy (50 max)

+ shelf+ list

Methods of Programming: Selected Papers on the CIP-Project (Lecture Notes in Computer Science)

1991

M. Broy, M. Wirsing

+ shelf+ list

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding (Lecture Notes in Computer Science)

1993

D. Bjørner, M. Broy

+ shelf+ list

Programming and mathematical method

1992

M. Broy

+ shelf+ list

Korso: Methods, Languages and Tools for the Construction of Correct Software : Final Report (Lecture Notes in Computer Science, 1009)

1995

M. Broy, Stefan Jähnichen

+ shelf+ list

Formal systems specification: the RPC-memory specification case study

1996

M. Broy, Stephan Merz

+ shelf+ list

Software Pioneers

2002

M. Broy, Ernst Denert

+ shelf+ list

Software Systems Reliability and Security - Volume 9 NATO Security through Science Series: Information and Communication Security (Nato Security Through ... D: Information and Communication Security)

2007

M. Broy, C. A. R. Hoare

+ shelf+ list

Program construction: international summer school

1979

Friedrich Ludwig Bauer, M. Broy

+ shelf+ list

Transformation parallel ablaufender Programme

1980

M. Broy

+ shelf+ list

Künstliche Intelligenz

1990

Bernhard Irrgang, M. Broy

+ shelf+ list

Informatik und Mathematik

1991

M. Broy

+ shelf+ list

Program design calculi

1993

M. Broy

+ shelf+ list

Deductive program design

1996

M. Broy

+ shelf+ list

Mathematical methods in program development

1997

M. Broy

+ shelf+ list

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings (Lecture Notes in Computer Science)

2000

D. Bjørner, M. Broy

+ shelf+ list

Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)

2005

M. Broy

+ shelf+ list

Informatikforschung in Deutschland

2008

Roland Vollmar, M. Broy

+ shelf+ list

Software and systems safety: specification and verification

2011

M. Broy, Christian Leuxner, C. A. R. Hoare

+ shelf+ list

Calculational system design

M. Broy, Ralf Steinbrüggen