Manfred Broy | lit.salon

Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Manfred Broy | lit.salon

Manfred Broy

No bio available. Add one in Open Library.

Books by Manfred Broy (50 max)

Constructive Methods in Computing Science International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

1989

Mathematical Methods in Program Development

1997

Informatik Eine Grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung

2013

Programming and Mathematical Method International Summer School

1992

Software Pioneers Contributions to Software Engineering

2002

Perspectives of System Informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers

2003

Dines Bjørner, Manfred Broy, Alexandre V. Zamulin

Program Design Calculi

2010

Advanced Model-Based Engineering of Embedded Systems : Extensions of the SPES 2020 Methodology

2016

Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger

Design Thinking for Software Engineering: Creating Human-Oriented Software-intensive Products and Services

2022

Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy

Projektorganisation Und Management Im Software Engineering

1900

Theoretical foundations of programming methodology: lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare

1982

Manfred Broy, Schmidt, G.

Control Flow and Data Flow: Concepts of Distributed Programming International Summer School

1985

Control Flow and Data Flow: Concepts of Distributed Programming (Advanced Science Institutes Series)

1986

Logic of Programming and Calculi of Discrete Design International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

1987

Constructive Methods in Computing Science: International Summer School (Nato a S I Series Series III, Computer and Systems Sciences)

1989

Informatik und Mathematik

1991

Informatik: Eine Grundlegende Einfuhrung Part 1 : Problemnahe Programmierung

1992

Informatik. Eine grundlegende Einführung: Teil 1: Problemnahe Programmierung

1992

Informatik: Eine Grundlegende Einfuhrung. Teil 2 : Rechenerstrukturen Und Maschinennahe Programmierung

1993

Informatik Eine Grundlegende Einfuhrung Teil 3

1994

Informatik. Eine grundlegende Einführung: Band 1: Programmierung und Rechnerstrukturen

1997

Übungen zur Einführung in die Informatik Strukturierte Aufgabensammlung mit Musterlösungen

1998

Manfred Broy, Bernhard Rumpe

VDI-Lexikon Informatik und Kommunikationstechnik

1999

Manfred Broy, Otto Spaniol

Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen (Springer-Lehrbuch)

2001

Manfred Broy, Bernhard Rumpe

Specification and Development of Interactive Systems Focus on Streams, Interfaces, and Refinement

2001

Specification and Development of Interactive Systems

2001

Manfred Broy, Ketil Stolen

Pioneers and Their Contributions to Software Engineering

2001

Manfred Broy, Ernst Denert

Pioneers and Their Contributions to Software Engineering: sd & m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions

2001

Software- Entwicklung für Kommunikationsnetze

2002

Manfred Broy, Axel Pink, Heinz Koßmann

Übungen zur Einführung in die Informatik Strukturierte Aufgabensammlung mit Musterlösungen

2002

Manfred Broy, Bernhard Rumpe

Modellbildung in der Informatik (Xpert.press)

2003

Informatik. Eine grundlegende Einführung: Band 2. Systemstrukturen und Theoretische Informatik (Springer-Lehrbuch)

2003

Perspectives of Systems Informatics 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers

2003

Manfred Broy, Alexandre V. Zamulin

Modellbildung in der Informatik

2004

Manfred Broy, Ralf Steinbrüggen

Requirements Targeting Software and Systems Engineering International Workshop RTSE '97, Bernried, Germany, October 12-14 1997

2005

Manfred Broy, Bernhard Rumpe

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)

2005

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

Model-Based Testing of Reactive Systems Advanced Lectures

2005

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Automotive Software-Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

2006

Manfred Broy, Ingolf Krüger, Michael Meisinger

Engineering Theories of Software Intensive Systems

2008

Manfred Broy, Johannes Gruenbauer, David Harel

Cyber-physical systems: Innovation durch softwareintensive eingebettete Systeme

2010

Deductive Program Design )

2011

VDI-Lexikon Informatik und Kommunikationstechnik (VDI-Buch) (German Edition)

2012

Manfred Broy, Otto Spaniol

Informatik und Mathematik

2012

AgendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems

2012

Eva Geisberger, Manfred Broy

Modellbildung in der Informatik

2013

Manfred Broy, Ralf Steinbrüggen

Projektorganisation und Management Im Software Engineering

2013

Manfred Broy, Marco Kuhrmann

Informatik. eine Grundlegende Einführung : Teil III Systemstrukturen und Systemnahe Programmierung

2013

Informatik eine Grundlegende Einführung : Band 1 Programmierung und Rechnerstrukturen

2013

Informatik : Eine Grundlegende Einführung. Band 2 Systemstrukturen und Theoretische Informatik

2013

50 Jahre Universitäts-Informatik in München

2017

Arndt Bode, Manfred Broy, Hans-Joachim Bungartz, Florian Matthes