Manfred Broy – författare
Visar alla böcker från författaren Manfred Broy.
47 produkter
Specification and Development of Interactive Systems
Focus on Streams, Interfaces, and Refinement
Inbunden, 2001
729 kr
Lägg i varukorg
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
Av Manfred Broy, Johannes Gruenbauer m. fl.
Inbunden, 2005
2879 kr
Lägg i varukorg
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
Av Manfred Broy, Johannes Gruenbauer m. fl.
Häftad, 2005
2879 kr
Lägg i varukorg
Specification and Development of Interactive Systems
Focus on Streams, Interfaces, and Refinement
Häftad, 2012
729 kr
Lägg i varukorg
Model-Based Engineering of Collaborative Embedded Systems
Extensions of the SPES Methodology
Av Wolfgang Böhm, Manfred Broy m. fl.
Inbunden, 2020
709 kr
Lägg i varukorg
Model-Based Engineering of Collaborative Embedded Systems
Extensions of the SPES Methodology
Av Wolfgang Böhm, Manfred Broy m. fl.
Häftad, 2021
569 kr
Lägg i varukorg
Design Thinking for Software Engineering
Creating Human-oriented Software-intensive Products and Services
Av Jennifer Hehn, Daniel Mendez m. fl.
Inbunden, 2022
2599 kr
Lägg i varukorg
Design Thinking for Software Engineering
Creating Human-oriented Software-intensive Products and Services
Av Jennifer Hehn, Daniel Mendez m. fl.
Häftad, 2023
2599 kr
Lägg i varukorg
Advanced Model-Based Engineering of Embedded Systems
Extensions of the SPES 2020 Methodology
Av Klaus Pohl, Manfred Broy m. fl.
Inbunden, 2016
1059 kr
Lägg i varukorg
Advanced Model-Based Engineering of Embedded Systems
Extensions of the SPES 2020 Methodology
Av Klaus Pohl, Manfred Broy m. fl.
Häftad, 2018
709 kr
Lägg i varukorg
Control Flow and Data Flow: Concepts of Distributed Programming
International Summer School
Av Manfred Broy
Häftad, 1986
1449 kr
Lägg i varukorg
Perspectives of Systems Informatics
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Av Manfred Broy, Alexandre V. Zamulin
Häftad, 2004
729 kr
Lägg i varukorg
Model-Based Testing of Reactive Systems
Advanced Lectures
Av Manfred Broy, Bengt Jonsson m. fl.
Häftad, 2005
729 kr
Lägg i varukorg
Automotive Software-Connected Services in Mobile Networks
First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
Av Manfred Broy, Ingolf Krüger m. fl.
Häftad, 2006
709 kr
Lägg i varukorg
Perspectives of System Informatics
4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
Av Dines Bjørner, Manfred Broy m. fl.
Häftad, 2001
729 kr
Lägg i varukorg
Modellbildung in der Informatik
Av Manfred Broy, Ralf Steinbrüggen
Inbunden, 2003
549 kr
Lägg i varukorg
Methods of Programming
Selected Papers on the CIP-Project
Av Manfred Broy, Martin Wirsing
Häftad, 1991
729 kr
Lägg i varukorg
Informatik
Eine grundlegende Einführung Teil I. Problemnahe Programmierung
Av Manfred Broy
Häftad, 1992
679 kr
Lägg i varukorg
Formal Methods in Programming and Their Applications
International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
Av Dines Bjørner, Manfred Broy m. fl.
Häftad, 1993
729 kr
Lägg i varukorg
Informatik. Eine grundlegende Einführung
Teil III: Systemstrukturen und systemnahe Programmierung
Av Manfred Broy
Häftad, 1994
679 kr
Lägg i varukorg
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Final Report
Av Manfred Broy, Stefan Jähnichen
Häftad, 1995
729 kr
Lägg i varukorg
Formal Systems Specification
The RPC-Memory Specification Case Study
Av Manfred Broy, Stephan Merz m. fl.
Häftad, 1996
729 kr
Lägg i varukorg
Perspectives of System Informatics
Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings
Av Dines Bjørner, Manfred Broy m. fl.
Häftad, 1996
729 kr
Lägg i varukorg
Informatik Eine grundlegende Einführung
Band 1: Programmierung und Rechnerstrukturen
Av Manfred Broy
Häftad, 1997
519 kr
Lägg i varukorg
Informatik
Eine grundlegende Einführung. Band 2: Systemstrukturen und Theoretische Informatik
Av Manfred Broy
Häftad, 1998
449 kr
Lägg i varukorg
Perspectives of System Informatics
Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings
Av Dines Bjørner, Manfred Broy m. fl.
Häftad, 2000
1449 kr
Lägg i varukorg
Model-Driven Development of Reliable Automotive Services
Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
Av Manfred Broy, Ingolf Krüger m. fl.
Häftad, 2008
729 kr
Lägg i varukorg