M. Broy

M B · Manfred Broy · Manfred Broy,Bengt Jonsson Joost-Pieter Katoen · MANFRED BROY, T DINES BJORNER

title	media type		ISBN-13	year of publica- tion	other author(s)
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare	Taschenbuch		978-3-642-74886-8	2011	F.L. Bauer · Manfred Broy · E.W. Dijkstra · C.A. Hoare
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare	Gebunden		978-3-540-51369-8	1989	F.L. Bauer · Manfred Broy · E.W. Dijkstra · C.A. Hoare
Control Flow and Data Flow: Concepts of Distributed Programming	Hardcover		978-0-387-13919-7	1985
Formal Description of Programming Concepts: Formal Software Development Methods - International Symposium Proceedings	Gebunden		978-3-540-53961-2	1991	Erich J. Neuhold · Manfred Paul · K.R. Apt · E. Astesiano · D. Bjorner · L. Cardelli · P.D. Mosses
Informatik Eine Grundlegende Einfuhrung Teil 3: Systemstrukturen Und Systemnahe Programmierung	Paperback		978-0-387-57672-5	1994
Methods of Programming: Selected Papers on the Cip-Project	"		978-0-387-54576-9	1991	M. Wirsing
The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L	Taschenbuch		978-3-540-15187-6	1985	Friedrich L. Bauer · R. Berghammer · W. Dosch · F. Geiselbrechtinger · Rupert Gnatz · E. Hangel · W. Hesse
Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare	Paperback		978-90-277-1462-6	1982	Günther Schmidt