Manfred Broy | Booky.fi

Formal Systems Specification - The RPC-Memory Specification Case Study

Broy, Manfred; Merz, Stephan; Spies, Katharina
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1996
Pehmeäkantinen kirja

51,10 €

Model-Based Engineering of Collaborative Embedded Systems - Extensions of the SPES Methodology

Böhm, Wolfgang; Broy, Manfred; Klein, Cornel; Pohl, Klaus; Rumpe, Bernhard; Schröck, Sebastian
Springer Nature Switzerland AG
2020
Kovakantinen kirja

51,10 €

Informatik. Eine grundlegende Einführung 1

Broy, Manfred
Springer-Verlag GmbH
2009
Pehmeäkantinen kirja

70,40 €

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

Broy, Manfred; Stølen, Ketil
Springer-Verlag New York Inc.
2001
Kovakantinen kirja

51,10 €

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

Broy, Manfred
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1998
Pehmeäkantinen kirja

32,10 €

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

Broy, Manfred; Rumpe, Bernhard
Springer
2001
Moniviestin

47,90 €

Model-Based Testing of Reactive Systems - Advanced Lectures

Broy, Manfred; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner, Alexander
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja

51,10 €

Engineering Theories of Software Intensive Systems - Proceedings of the NATO Advanced Study Institute on Engineering Theories of

Broy, Manfred; Gruenbauer, Johannes; Harel, David; Hoare, Tony
Springer-Verlag New York Inc.
2005
Kovakantinen kirja

182,70 €

Engineering Theories of Software Intensive Systems - Proceedings of the NATO Advanced Study Institute on Engineering Theories of

Broy, Manfred; Gruenbauer, Johannes; Harel, David; Hoare, Tony
Springer-Verlag New York Inc.
2005
Pehmeäkantinen kirja

182,70 €

Automotive Software-Connected Services in Mobile Networks - First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA,

Broy, Manfred; Krüger, Ingolf; Meisinger, Michael
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja

51,10 €

Program Design Calculi

Broy, Manfred
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1993
Kovakantinen kirja

182,70 €

Deductive Program Design

Broy, Manfred
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1996
Kovakantinen kirja

182,70 €

Perspectives of Systems Informatics - 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk,

Broy, Manfred; Zamulin, Alexandre V.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2004
Pehmeäkantinen kirja

51,10 €

KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report

Broy, Manfred; Jähnichen, Stefan
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1995
Pehmeäkantinen kirja

51,10 €

Methods of Programming : Selected Papers on the CIP-Project

Broy, Manfred; Wirsing, Martin
Springer
1991
Pehmeäkantinen kirja

51,10 €

Model-Driven Development of Reliable Automotive Services - Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA,

Broy, Manfred; Krüger, Ingolf; Meisinger, Michael
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

51,10 €

Modellbildung in der Informatik

Broy, Manfred; Steinbrüggen, Ralf
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2003
Kovakantinen kirja

38,60 €

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

Broy, Manfred
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1997
Pehmeäkantinen kirja

36,70 €

Program Design Calculi

Broy, Manfred
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

182,70 €

Projektorganisation und Management im Software Engineering

Broy, Manfred; Kuhrmann, Marco
Springer Vieweg
2013
Kovakantinen kirja

61,80 €