Manfred Broy
Identifiers
- Open LibraryOL2679411A
Top Subjects
- Informatik (4)
- Programmierung (4)
- Computer science (3)
- Computer Books: General (3)
- Computer Science (3)
- Datenstrukturen (3)
- Programmiersprachen (3)
Books by Manfred Broy
Total count: 46
Control Flow and Data Flow: Concepts of Distributed ProgrammingInternational Summer SchoolSpringer Berlin Heidelberg1985-01-01-
Control Flow and Data FlowConcepts of Distributed Programming (Advanced Science Institutes Series)Springer1986-10-01
Logic of Programming and Calculi of Discrete DesignInternational Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. HoareSpringer Berlin Heidelberg1987-01-01
Constructive Methods in Computing ScienceInternational Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. HoareSpringer Berlin Heidelberg1989-01-01-
Constructive Methods in Computing ScienceInternational Summer School (Nato a S I Series Series III, Computer and Systems Sciences)Springer1989-11-01
Programming and Mathematical MethodInternational Summer SchoolSpringer Berlin Heidelberg1992-01-01-
Informatik: Eine Grundlegende Einfuhrung Part 1Problemnahe ProgrammierungSpringer-Verlag1992-09-01
-
Informatik. Eine grundlegende Einführung: Teil 1Problemnahe Programmierung1 editionSpringer1992-10-16
-
Informatik: Eine Grundlegende Einfuhrung. Teil 2Rechenerstrukturen Und Maschinennahe ProgrammierungSpringer-Verlag1993-09-01
Mathematical Methods in Program DevelopmentSpringer Berlin Heidelberg1997-01-01
Informatik. Eine grundlegende Einführung: Band 1Programmierung und Rechnerstrukturen2. Aufl. editionSpringer1997-06-09
Specification and Development of Interactive SystemsFocus on Streams, Interfaces, and RefinementSpringer New York2001-01-01-
Pioneers and Their Contributions to Software EngineeringIsland Press2001-01-01
Pioneers and Their Contributions to Software Engineeringsd & m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic ContributionsSpringer Berlin Heidelberg2001-01-01
Specification and Development of Interactive SystemsSpringer2001-04-27
Übungen zur Einführung in die InformatikStrukturierte Aufgabensammlung mit Musterlösungen (Springer-Lehrbuch)2., überarb. Aufl. editionSpringer2001-10-01
Software PioneersContributions to Software EngineeringSpringer Berlin Heidelberg2002-01-01-
Perspectives of System Informatics4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised PapersSpringer London, Limited2003-01-01
-
Perspectives of Systems Informatics5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised PapersSpringer London, Limited2003-01-01
Informatik. Eine grundlegende EinführungBand 2. Systemstrukturen und Theoretische Informatik (Springer-Lehrbuch)2. Aufl. 1998. Nachdruck editionSpringer2003-04-01
Modellbildung in der Informatik (Xpert.press)1 editionSpringer2003-10-10-
Requirements Targeting Software and Systems EngineeringInternational Workshop RTSE '97, Bernried, Germany, October 12-14 1997Springer London, Limited2005-01-01
-
Model-Based Testing of Reactive SystemsAdvanced LecturesSpringer London, Limited2005-01-01
-
Automotive Software-Connected Services in Mobile NetworksFirst Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected PapersSpringer London, Limited2006-01-01
Engineering Theories of Software Intensive SystemsSpringer2008-08-26
Cyber-physical systemsInnovation durch softwareintensive eingebettete SystemeSpringer2010-01-01-
Program Design CalculiSpringer Berlin / Heidelberg2010-01-01
Deductive Program Design )Springer2011-09-26-
Informatik und MathematikSpringer2012-01-01
-
AgendaCPSIntegrierte Forschungsagenda Cyber-Physical SystemsSpringer London, Limited2012-01-01
Model-Based Engineering of Embedded SystemsThe SPES 2020 MethodologySpringer2012-11-09-
Informatik eine Grundlegende Einführung : Band 1Programmierung und RechnerstrukturenSpringer London, Limited2013-01-01
-
Informatik. eine Grundlegende Einführung : Teil IIISystemstrukturen und Systemnahe ProgrammierungSpringer London, Limited2013-01-01
-
Informatik : Eine Grundlegende Einführung. Band 2Systemstrukturen und Theoretische InformatikSpringer London, Limited2013-01-01
-
InformatikEine Grundlegende Einführung Teil II. Rechnerstrukturen und Maschinennahe ProgrammierungSpringer London, Limited2013-01-01
-
Projektorganisation und Management Im Software EngineeringSpringer Vieweg. in Springer Fachmedien Wiesbaden GmbH2013-01-01
Modellbildung in der InformatikSpringer2013-10-03-
Software PioneersContributions to Software EngineeringSpringer Berlin / Heidelberg2014-01-01
Advanced Model-Based Engineering of Embedded SystemsExtensions of the SPES 2020 MethodologySpringer2016-12-01
50 Jahre Universitäts-Informatik in MünchenSpringer Vieweg2017-07-14
Logische und Methodische Grundlagen der Programm- und SystementwicklungDatenstrukturen, funktionale, sequenzielle und objektorientierte ... von Alexander MalkisSpringer Vieweg2019-06-12-
Model-Based Engineering of Collaborative Embedded SystemsExtensions of the SPES MethodologySpringer International Publishing AG2020-01-01
-
Einführung in die SoftwaretechnikSpringer Vieweg2020-11-10
Design Thinking for Software EngineeringCreating Human-Oriented Software-intensive Products and ServicesSpringer International Publishing AG2022-01-01-
Logische und Methodische Grundlagen der Entwicklung Verteilter SystemeUnter Mitarbeit Von Alexander MalkisSpringer Berlin / Heidelberg2023-01-01
-
Model-Based Systems Engineering with the SPES Modeling LanguageA SysML Workbench for the SPES MethodologySpringer2024-01-01