Suchergebnisse für "Manfred Broy"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Manfred Broy" gefunden.
Katalogsuche
Program Design Calculi
NATO ASI Series / Computer and Systems Sciences 118, NATO ASI Subseries F: 118
Manfred Broy
Springer Verlag GmbH
213,99 €
(inklusive MwSt.)
Lieferbar
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Final Report, Lecture Notes in Computer Science 1009
Manfred Broy/Stefan Jähnichen
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Perspectives of System Informatics
Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9,1999 Proceedings, Lecture Notes in Computer Science 1755
Dines Bjørner/Manfred Broy/Alexandre V Zamulin
Springer Verlag GmbH
106,99 €
(inklusive MwSt.)
Lieferbar
Program Design Calculi
NATO ASI Subseries F: 118
Manfred Broy
Springer Verlag GmbH
213,99 €
(inklusive MwSt.)
Lieferbar
Formal Methods in Programming and Their Applications
International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2,1993.Proceedings, Lecture Notes in Computer Science 735
Dines Bjørner/Manfred Broy/Igor V Pottosin
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Methods of Programming
Selected Papers on the CIP-Project, Lecture Notes in Computer Science 544
Manfred Broy/Martin Wirsing
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Perspectives of System Informatics
Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28,1996; Proceedings, Lecture Notes in Computer Science 1181
Dines Bjørner/Manfred Broy/Igor V Pottosin
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Formal Systems Specification
The RPC-Memory Specification Case Study, Lecture Notes in Computer Science 1169
Manfred Broy/Stephan Merz/Katharina Spies
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Informatik Eine grundlegende Einführung
Band 1: Programmierung und Rechnerstrukturen
Broy, Manfred
Springer Verlag GmbH
37,99 €
(inklusive MwSt.)
Lieferbar
agendaCPS
eBook - Integrierte Forschungsagenda Cyber-Physical Systems, Computer Science and Engineering (German Language)
Eva Geisberger/Manfred Broy
SPRINGER
33,26 €
(inklusive MwSt.)
Lieferbar
agendaCPS
Integrierte Forschungsagenda Cyber-Physical Systems, acatech STUDIE 1
Eva Geisberger/Manfred Broy
Springer Verlag GmbH
46,99 €
(inklusive MwSt.)
Lieferbar
Projektorganisation und Management im Software Engineering
Xpert.press
Broy, Manfred/Kuhrmann, Marco
Springer Verlag GmbH
64,99 €
(inklusive MwSt.)
Lieferbar
Engineering Theories of Software Intensive Systems
Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004, NATO Science Series II: Mathematics, Physics and Chemistry, Volume 195, NATO Science Series II:
Manfred Broy/Johannes Gruenbauer/David Harel et al
Springer Verlag GmbH
213,99 €
(inklusive MwSt.)
Lieferbar
Cyber-Physical Systems
eBook - Innovation durch softwareintensive eingebettete Systeme, Computer Science and Engineering (German Language)
Manfred Broy
SPRINGER
16,99 €
(inklusive MwSt.)
Lieferbar
Informatik
Eine grundlegende Einführung Teil I. Problemnahe Programmierung, Springer-Lehrbuch
Broy, Manfred
Springer Verlag GmbH
49,95 €
(inklusive MwSt.)
Lieferbar
Model-Based Systems Engineering with the SPES Modeling Language
A SysML Workbench for the SPES Methodology
Wolfgang Böhm/Manfred Broy/Walter Koch et al
Springer Verlag GmbH
42,79 €
(inklusive MwSt.)
Lieferbar
Model-Based Systems Engineering with the SPES Modeling Language
A SysML Workbench for the SPES Methodology
Wolfgang Böhm/Manfred Broy/Walter Koch et al
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Control Flow and Data Flow: Concepts of Distributed Programming
International Summer School, Springer Study Edition
Manfred Broy
Springer Verlag GmbH
106,99 €
(inklusive MwSt.)
Lieferbar
Constructive Methods in Computing Science
International Summer School directed by F.L.Bauer, M.Broy, E.W.Dijkstra, C.A.R.Hoare, Nato ASI Series (closed) 55, NATO ASI Subseries F: 55
Manfred Broy/F L Bauer/M Broy et al
Springer Verlag GmbH
106,99 €
(inklusive MwSt.)
Lieferbar
Programming and Mathematical Method
International Summer School, Nato ASI Series (closed) 88, NATO ASI Subseries F: 88
Manfred Broy
Springer Verlag GmbH
106,99 €
(inklusive MwSt.)
Lieferbar
