MPG.eBooks - Author Search Results

Manfred Broy

Manfred Broy (born 10 August 1949) is a German computer scientist, and an emeritus professor in the Department of Informatics at the Technical University of Munich, Garching, Germany. Provided by Wikipedia

Cover Image

1

Formal Systems Specification : The RPC-Memory Specification Case Study

by Broy, Manfred
Published 1996

Springer

Cover Image

2

Informatik. Eine grundlegende Einführung : Teil III: Systemstrukturen und systemnahe Programmierung

by Broy, Manfred
Published 1994

Springer Berlin Heidelberg

Cover Image

3

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

by Broy, Manfred
Published 1998

Springer Berlin Heidelberg

Cover Image

4

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

by Broy, Manfred
Published 1998

Springer Berlin Heidelberg

Cover Image

5

Informatik : Eine grundlegende Einführung Teil I. Problemnahe Programmierung

by Broy, Manfred
Published 1992

Springer Berlin Heidelberg

Cover Image

6

Informatik : Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung

by Broy, Manfred
Published 1995

Springer Berlin Heidelberg

Cover Image

7

Informatik : Eine grundlegende Einführung Teil II. Rechnerstrukturen und maschinennahe Programmierung

by Broy, Manfred
Published 1993

Springer Berlin Heidelberg

Cover Image

8

Requirements Targeting Software and Systems Engineering : International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997

by Broy, Manfred
Published 1998

Springer Berlin Heidelberg

Cover Image

9

Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers

by Broy, Manfred
Published 2003

Springer Berlin Heidelberg

Cover Image

10

Logische und Methodische Grundlagen der Programm- und Systementwicklung : Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alex...

by Broy, Manfred
Published 2019

Springer Fachmedien Wiesbaden

Cover Image

11

Methods of Programming : Selected Papers on the CIP-Project

by Broy, Manfred
Published 1991

Springer

Cover Image

12

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

by Broy, Manfred
Published 1995

Springer

Cover Image

13

Logische und Methodische Grundlagen der Entwicklung verteilter Systeme : Unter Mitarbeit von Alexander Malkis

by Broy, Manfred
Published 2023

Springer Berlin Heidelberg

Cover Image

14

Projektorganisation und Management im Software Engineering

by Broy, Manfred, Kuhrmann, Marco
Published 2013

Springer Berlin Heidelberg

Cover Image

15

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

by Broy, Manfred, Stølen, Ketil
Published 2001

Springer New York

Cover Image

16

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

by Broy, Manfred, Rumpe, Bernhard
Published 2002

Springer Berlin Heidelberg

Cover Image

17

Modellbildung in der Informatik

by Broy, Manfred, Steinbrüggen, Ralf
Published 2004

Springer Berlin Heidelberg

Cover Image

18

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

by Broy, Manfred, Rumpe, Bernhard
Published 1998

Springer Berlin Heidelberg

Cover Image

19

Einführung in die Softwaretechnik

by Broy, Manfred, Kuhrmann, Marco
Published 2021

Springer Berlin Heidelberg

Cover Image

20

Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Published 1989

Springer Berlin Heidelberg

Other Authors: “...Broy, Manfred...”

1
2
3