Formal Systems Specification : The RPC-Memory Specification Case Study

Published 1996

Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings

Published 1996

Modellbildung in der Informatik

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

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

Published 2003

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

by Broy, Manfred
Published 1998

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

by Broy, Manfred
Published 1998

Mathematical Methods in Program Development

Published 1997

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

by Broy, Manfred, Rumpe, Bernhard
Published 2002

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

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

Logic of Programming and Calculi of Discrete Design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Published 1987

Program Design Calculi

Published 1993

Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers

Published 2001