Manfred Broy | Akateeminen Kirjakauppa

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

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

51,10 €

Logische und Methodische Grundlagen der Programm- und Systementwicklung - Datenstrukturen, funktionale, sequenzielle und objekto

Broy, Manfred
Springer Fachmedien Wiesbaden
2019
Pehmeäkantinen kirja

33,90 €

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
2001
Kovakantinen kirja

51,10 €

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

Broy, Manfred
Springer
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

Broy, Manfred; Gruenbauer, Johannes; Harel, David; Hoare, Tony
Springer
2005
Kovakantinen kirja

182,70 €

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

Broy, Manfred; Gruenbauer, Johannes; Harel, David; Hoare, Tony
Springer
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,

Broy, Manfred; Zamulin, Alexandre V.
Springer
2004
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 €

Formal Systems Specification : The RPC-Memory Specification Case Study

Broy, Manfred; Merz, Stephan; Spies, Katharina
Springer
1996
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
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 €