Manfred Broy

Broy, Manfred · M B · M. Broy · MANFRED BROY, T DINES BJORNER

TitelArt ISBN-13Erschei-
nungsjahr
andere Autoren
Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 MethodologyTaschenbuch 978-3-319-83876-22018Klaus Pohl · Heinrich Daembkes · Harald Hönninger
Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 MethodologyGebunden 978-3-319-48002-22016Klaus Pohl · Heinrich Daembkes · Harald Hönninger
agendaCPS: Integrierte Forschungsagenda Cyber-Physical SystemsTaschenbuch 978-3-642-29098-52012Eva Geisberger
Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, ... Notes in Computer Science, Band 4147)  " 978-3-540-37677-42008Ingolf Kr¿¿ger · Michael Meisinger
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare  " 978-3-642-74886-82011F.L. Bauer · M. Broy · E.W. Dijkstra · C.A. Hoare
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. HoareGebunden 978-3-540-51369-81989F.L. Bauer · M. Broy · E.W. Dijkstra · C.A. Hoare
Control Flow and Data Flow: Concepts of Distributed ProgrammingPaperback
978-0-387-17082-41986
Control Flow and Data Flow: Concepts of Distributed Programming: International Summer SchoolTaschenbuch 978-3-540-17082-21986
Cyber-Physical Systems: Innovation durch softwareintensive eingebettete Systeme  " 978-3-642-14498-12010
Das V-Modell XT: Grundlagen, Erfahrungen und WerkzeugePaperback 978-3-89864-335-12008Andreas Rausch
Das V-Modell XT. Grundlagen, Methodik und Anwendungen: Grundlagen, Methodik Und Anwendungen : Grundlagen, Methodik Und AnwendungenGebunden 978-3-540-30249-02008Andreas Rausch · Klaus Bergner
Deductive Program Design  " 978-3-540-60947-61996
Einführung in die Softwaretechnik  " 978-3-662-50262-42019Marco Kuhrmann
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive ... 3 to 15 August 2004Hardcover
978-1-4020-3530-22005Johannes Gruenbauer · David Harel · Tony Hoare
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. ProceedingsTaschenbuch 978-3-540-57316-62008Dines Bjorner · Igor V. Pottosin
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993: ProceedingsPaperback
978-0-387-57316-81993Dines Bjorner · Igor V. Pottosin
Formal Systems Specification: The RPC-Memory Specification Case StudyTaschenbuch 978-3-540-61984-02008Stephan Merz · Katharina Spies
Informatik. Eine grundlegende Einführung: Band 1: Programmierung und RechnerstrukturenBroschiert 978-3-540-21417-52009
Informatik. Eine grundlegende Einführung: Band 1: Programmierung und RechnerstrukturenTaschenbuch 978-3-540-63234-41997
Informatik: Eine Grundlegende Einführung. Band 2: Systemstrukturen Und Theoretische Informatik  " 978-3-540-64392-02013
Informatik. Eine grundlegende Einführung: Band 2: Systemstrukturen und Theoretische Informatik  " 978-3-540-21418-22009
Informatik. Eine Grundlegende Einführung: Teil III: Systemstrukturen und Systemnahe Programmierung  " 978-3-540-57672-31994
Informatik: Eine Grundlegende Einführung Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung  " 978-3-540-58602-91995
Informatik: Eine Grundlegende Einfuhrung Part 1: Problemnahe ProgrammierungPaperback
978-0-387-55191-31992
Informatik: Eine Grundlegende Einfuhrung. Teil 2: Rechenerstrukturen Und Maschinennahe Programmierung  "
978-0-387-56969-71993
Informatik und MathematikTaschenbuch 978-3-540-54108-01991
Informatik und Mathematik  " 978-3-642-76678-71991
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report  " 978-3-540-60589-82008Stefan J??hnichen
Korso: Methods, Languages, and Tools for the Construction of Correct Software: Final ReportPaperback
978-0-387-60589-01995Stefan Jahnichen
Logic of Programming and Calculi of Discrete DesignHardcover
978-0-387-18003-81987
Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. HoareGebunden 978-3-540-18003-61987
Mathematical Methods in Program Development  " 978-3-540-63195-81997Birgit Schieder
Mathematical Methods in Program DevelopmentTaschenbuch 978-3-642-64588-41997
Methods of Programming: Selected Papers on the CIP-Project  " 978-3-540-54576-72008Martin Wirsing
Model-Based Engineering of Embedded Systems: The SPES 2020 MethodologyGebunden 978-3-642-34613-22012Klaus Pohl · Harald Hönninger · Reinhold Achatz
Model-Based Testing of Reactive Systems: Advanced LecturesTaschenbuch 978-3-540-26278-72008Bengt Jonsson · Joost-Pieter Katoen · Martin Leucker · Alexander Pretschner
Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006 ... Notes in Computer Science, Band 4922)  " 978-3-540-70929-92008
Modellbildung in der Informatik  " 978-3-642-62267-02013Ralf Steinbrüggen
Modellbildung in der InformatikGebunden 978-3-540-44292-92003  "
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Notes in Computer Science, Band 2244)Taschenbuch 978-3-540-43075-92008Dines Bjorner · Alexandre Zamulin
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings  " 978-3-540-62064-82008Dines Bjorner · Igor V. Pottosin
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 ... Notes in Computer Science, Band 1755  " 978-3-540-67102-22000Dines Bjørner · Alexandre V. Zamulin
Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, ... Papers  " 978-3-540-20813-62004Alexandre V. Zamulin
Program Design Calculi  " 978-3-642-08164-42010
Program Design CalculiHardcover
978-0-387-56943-71994
Program Design Calculi: Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Held in Marktoberdorf, Germany, July 28-August 9, 1992Gebunden 978-3-540-56943-51993
Programming and Mathematical MethodHardcover
978-0-387-55558-41992
Programming and Mathematical Method: International Summer School: International Summer School - Proceedings of the NATO Advanced Study Institute on ... 5, 1990Gebunden 978-3-540-55558-21992C.A.R. Hoare · E.W. Dijkstra · F.L. Bauer
Programming and Mathematical Method: International Summer School (Nato ASI Series / Nato ASI Subseries F: )Taschenbuch 978-3-642-77574-12012
Projektorganisation und Management im Software EngineeringGebunden 978-3-642-29289-72013Marco Kuhrmann
Requirements Targeting Software and Systems Engineering: International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997: International ...Taschenbuch 978-3-540-65309-71998Bernhard Rumpe
Software Engineering: Schlüssel zu Prozessbeherrschung und InformationsmanagementBroschiert 978-3-931511-52-42000Herbert Ehler · Barbara Paech · Bernhard Rumpe · Veronika Thurner
Software-Entwicklung für KommunikationsnetzeGebunden 978-3-540-43265-42002Axel Pink · Heinz Koßmann · E. Kargl · M. Lagally · T. Schimper
Software Pioneers: Contributions to Software EngineeringPaperback 978-3-642-59413-72014Ernst Denert
Software Pioneers: Contributions to Software EngineeringTaschenbuch 978-3-642-63970-82014  "
Software Pioneers: Contributions to Software EngineeringGebunden 978-3-540-43081-02002  "
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and RefinementHardcover
978-0-387-95073-02001Ketil Stølen
Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit MusterlösungenTaschenbuch 978-3-540-42065-12001Bernhard Rumpe
Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen  " 978-3-540-63549-91997  "
VDI-Lexikon Informatik und Kommunikationstechnik  " 978-3-642-46846-92012Otto Spaniol
VDI-Lexikon Informatik und KommunikationstechnikGebunden 978-3-540-63249-81998  "

Springer · TCW · dpunkt

 

MANFRED BROY, T DINES BJORNER