booktheque

Manfred Broy

47 books in the database

Books

Software Pioneers
Manfred Broy · 2002
Specification and Development of Interactive Systems
Manfred Broy · 2001
Mathematical Methods in Program Development
Manfred Broy · 1997
Programming and Mathematical Method
Manfred Broy · 1992
Constructive Methods in Computing Science
Manfred Broy · 1989
Logic of Programming and Calculi of Discrete Design
Manfred Broy · 1987
Engineering Theories of Software Intensive Systems
Manfred Broy · 2005
Pioneers and Their Contributions to Software Engineering
Manfred Broy · 2001
Specification and development of interactive systems
Manfred Broy · 2001
Control Flow and Data Flow: Concepts of Distributed Programming
Manfred Broy · 1985
Logische und Methodische Grundlagen der Programm- und Systementwicklung
Manfred Broy · 2019
Modellbildung in der Informatik
Manfred Broy · 2013
VDI-Lexikon Informatik und Kommunikationstechnik (VDI-Buch) (German Edition)
Manfred Broy · 2012
Deductive Program Design )
Manfred Broy · 2011
Program Design Calculi
Manfred Broy · 2010
Cyber-physical systems
Manfred Broy · 2010
Engineering Theories of Software Intensive Systems
Manfred Broy · 2008
Automotive Software-Connected Services in Mobile Networks
Manfred Broy · 2006
Requirements Targeting Software and Systems Engineering
Manfred Broy · 2005
Model-Based Testing of Reactive Systems
Manfred Broy · 2005
Modellbildung in der Informatik
Manfred Broy · 2004
Modellbildung in der Informatik
Manfred Broy · 2003
Informatik. Eine grundlegende Einführung
Manfred Broy · 2003
Perspectives of Systems Informatics
Manfred Broy · 2003
Software- Entwicklung
Manfred Broy · 2002
Übungen zur Einführung in die Informatik
Manfred Broy · 2002
Übungen Zur Einführung in Die Informatik
Manfred Broy · 2001
Pioneers and Their Contributions to Software Engineering
Manfred Broy · 2001
VDI-Lexikon Informatik und Kommunikationstechnik
Manfred Broy · 1999
Übungen zur Einführung in die Informatik
Manfred Broy · 1998
Informatik. Eine grundlegende Einführung: Band 1
Manfred Broy · 1997
Informatik. eine Grundlegende Einführung : Teil III
Manfred Broy · 1994
Informatik: Eine Grundlegende Einfuhrung. Teil 2
Manfred Broy · 1993
Informatik und Mathematik
Manfred Broy · 1991
Constructive Methods in Computing Science
Manfred Broy · 1989
Control Flow and Data Flow
Manfred Broy · 1986
Projektorganisation Und Management Im Software Engineering
Manfred Broy · 1900
Logische und Methodische Grundlagen der Entwicklung Verteilter Systeme
Manfred Broy · 2023
Einführung in die Softwaretechnik
Manfred Broy · 2020
Projektorganisation und Management Im Software Engineering
Manfred Broy · 2013
Informatik : Eine Grundlegende Einführung. Band 2
Manfred Broy · 2013
Informatik. eine Grundlegende Einführung : Teil III
Manfred Broy · 2013
Informatik eine Grundlegende Einführung : Band 1
Manfred Broy · 2013
Informatik
Manfred Broy · 2013
Informatik und Mathematik
Manfred Broy · 2012
Informatik. Eine grundlegende Einführung: Teil 1
Manfred Broy · 1992
Informatik: Eine Grundlegende Einfuhrung Part 1
Manfred Broy · 1992

Co-authored books and collections

Books that list Manfred Broy among their authors but not as the lead author: co-written works, collections and compilations.

Design Thinking for Software Engineering
Jennifer Hehn · 2022
Model-Based Systems Engineering with the SPES Modeling Language
Wolfgang Böhm · 2024
Model-Based Engineering of Collaborative Embedded Systems
Wolfgang Böhm · 2020
Advanced Model-Based Engineering of Embedded Systems
Klaus Pohl · 2018
50 Jahre Universitäts-Informatik in München
Arndt Bode · 2017
Perspectives of System Informatics
Dines Bjørner · 2003
AgendaCPS
Eva Geisberger · 2012