Manfred Broy | Akateeminen Kirjakauppa

Formal Systems Specification : The RPC-Memory Specification Case Study

Broy, Manfred; Merz, Stephan; Spies, Katharina
Springer
1996
Pehmeäkantinen kirja

51,40 €

Program Design Calculi

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

179,00 €

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

Broy, Manfred; Rumpe, Bernhard
Springer
2001
Moniviestin

48,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
Pehmeäkantinen kirja

179,00 €

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

Broy, Manfred; Zamulin, Alexandre V.
Springer
2004
Pehmeäkantinen kirja

51,40 €

Informatik. Eine grundlegende Einführung 1

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

70,70 €

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,40 €

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,20 €

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,40 €

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

179,00 €

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,40 €

Program Design Calculi

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

179,00 €

Deductive Program Design

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

179,00 €

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

Broy, Manfred; Jähnichen, Stefan
Springer
1995
Pehmeäkantinen kirja

51,40 €

Methods of Programming : Selected Papers on the CIP-Project

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

51,40 €

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,40 €

Modellbildung in der Informatik

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

38,70 €

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,90 €

Projektorganisation und Management im Software Engineering

Broy, Manfred; Kuhrmann, Marco
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Kovakantinen kirja

62,10 €

Control Flow and Data Flow: Concepts of Distributed Programming - International Summer School

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

101,40 €