M. Broy

MB

18 featured booksM. Broy

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

Search this author Open first work

OL7073866A

Featured books

Representative editions for works actually authored by this person.

II
Image source: Open Library
Informatikforschung in Deutschland
Informatikforschung in Deutschland | 2008
Representative edition for this work grouping in the active catalog.
cover
SS
Image source: Open Library
Software system reliability and security
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
Representative edition for this work grouping in the active catalog.
cover
MT
Image source: Open Library
Model-based testing of reactive systems
Model-Based Testing of Reactive Systems | 2005
Representative edition for this work grouping in the active catalog.
cover
SP
Image source: Open Library
Software pioneers
Software Pioneers | 2002
Representative edition for this work grouping in the active catalog.
cover
PO
Image source: Open Library
Perspectives of system informatics
Perspectives of System Informatics | 2000
Representative edition for this work grouping in the active catalog.
cover
MM
Image source: Open Library
Mathematical methods in program development
Mathematical methods in program development | 1997
Representative edition for this work grouping in the active catalog.
cover
FS
Image source: Open Library
Formal systems specification
Formal Systems Specification | 1996
Representative edition for this work grouping in the active catalog.
cover
DP
Image source: Open Library
Deductive program design
Deductive program design | 1996
Representative edition for this work grouping in the active catalog.
cover
K
Image source: Open Library
KORSO
KORSO | 1995
Representative edition for this work grouping in the active catalog.
cover
FM
Image source: Open Library
Formal methods in programming and their applications
Formal Methods in Programming and Their Applications | 1993
Representative edition for this work grouping in the active catalog.
cover
PD
Image source: Open Library
Program design calculi
Program design calculi | 1993
Representative edition for this work grouping in the active catalog.
cover
PA
Image source: Open Library
Programming and mathematical method
Programming and mathematical method | 1992
Representative edition for this work grouping in the active catalog.
cover
MO
Image source: Open Library
Methods of programming
Methods of Programming | 1991
Representative edition for this work grouping in the active catalog.
cover
PC
Image source: Open Library
Program construction
Program construction | 1979
Representative edition for this work grouping in the active catalog.
cover
Software and systems safetyM. Broy
SA
Software and systems safety
Software and systems safety | 2011
Representative edition for this work grouping in the active catalog.
no cover
Informatik und MathematikM. Broy
IU
Informatik und Mathematik
Informatik und Mathematik | 1991
Representative edition for this work grouping in the active catalog.
no cover
Künstliche IntelligenzM. Broy
KI
Künstliche Intelligenz
Künstliche Intelligenz | 1990
Representative edition for this work grouping in the active catalog.
no cover
Calculational system designM. Broy
CS
Calculational system design
Calculational system design
Representative edition for this work grouping in the active catalog.
no cover

Works in catalog

Quick navigation into the work-level grouping pages behind the featured books.

Informatikforschung in Deutschland
Representative edition published 2008
Open Work
Software system reliability and security
Representative edition published 2007
Open Work
Model-based testing of reactive systems
Representative edition published 2005
Open Work
Software pioneers
Representative edition published 2002
Open Work
Perspectives of system informatics
Representative edition published 2000
Open Work
Mathematical methods in program development
Representative edition published 1997
Open Work
Formal systems specification
Representative edition published 1996
Open Work
Deductive program design
Representative edition published 1996
Open Work
KORSO
Representative edition published 1995
Open Work
Formal methods in programming and their applications
Representative edition published 1993
Open Work
Program design calculi
Representative edition published 1993
Open Work
Programming and mathematical method
Representative edition published 1992
Open Work
Methods of programming
Representative edition published 1991
Open Work
Program construction
Representative edition published 1979
Open Work
Software and systems safety
Representative edition published 2011
Open Work
Informatik und Mathematik
Representative edition published 1991
Open Work
Künstliche Intelligenz
Representative edition published 1990
Open Work
Calculational system design
Representative edition linked
Open Work

M. Broy

Overview

Catalog identity

Featured books

Works in catalog