Broy, M. books & textbook
Software-Entwicklung für Kommunikationsnetze (Xpert.press) (German Edition)
Pink, Axel Koßmann, Heinz Broy, Manfred Kargl, E. Lagally, M. Schimper, T.
Springer /2012-11-05 Paperback / 287 Pages
isbn-10: 3642627927 / isbn-13: 9783642627927
Acta Informatica: Vol. 36, Fasc. 9/10, 2000
Bauer, F. L.; Broy, M.; Dijkstra, E. W.; Gries, D.; Turski, W. M. (eds.)
Springer /2000T Paperback
Report on a Wide Spectrum Language for Program Specification and Development (TUM, TUM-18104)
CIP Language Group F. L. Bauer M. Broy W. Dosch R. Gnatz B. Moller H. Partsch B. Kreig-Bruckner A. Laut T. Matzner
Technische Universität München /1981T Paperback / 236 Pages
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 (Nato Science Series C:, 91)
Springer /1982-07-31 Paperback / 672 Pages
isbn-10: 9027714622 / isbn-13: 9789027714626
Künstliche Intelligenz (Edition Universitas) (German Edition)
m-broy-bernhard-irrgang-jorg-klawitter
Wissenschaftliche Verlagsgesellschaft /1990T Perfect Paperback / 163 Pages
isbn-10: 3804711227 / isbn-13: 9783804711228
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 (NATO ASI Subseries F:)
Broy, Manfred Bauer, F. Broy, M.- Dijkstra, E.W. Hoare, C.A.R.
Springer /2012-04-09 Paperback / 422 Pages
isbn-10: 3642873766 / isbn-13: 9783642873768
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (NATO ASI Subseries F:)
Bauer, F.L. Broy, Manfred Broy, M. Dijkstra, E.W. Hoare, C.A.
Springer /2011-12-06 Paperback / 492 Pages
isbn-10: 3642748864 / isbn-13: 9783642748868
Formal Description of Programming Concepts (IFIP State-of-the-Art Reports)
Neuhold, Erich J. Paul, Manfred Apt, K.R. Astesiano, E. Bjorner, D. Broy, M. Cardelli, L. Mosses, P.D. Olderog, E.-R. Wirsing, M.
Springer /1991-10-04 Hardcover / 518 Pages
isbn-10: 3540539611 / isbn-13: 9783540539612
Das V-Modell XT: Grundlagen, Methodik und Anwendungen (eXamen.press) (German Edition)
Höhn, Reinhard Höppner, Stephan Rausch, A. Broy, M. Petrasch, R. Biffl, S. Wagner, R. Hesse, W. Bergner, K.
Springer /2008-04-04 Hardcover / 633 Pages
isbn-10: 3540302492 / isbn-13: 9783540302490
The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L (Lecture Notes in Computer Science, 183)
Bauer, F.L. Berghammer, R. Broy, M. Dosch, W. Geiselbrechtinger, F. Gnatz, R. Hangel, E. Hesse, W. Krieg-Brückner, B. Laut, A. Matzner, T. Möller, B. Nickl, F. Partsch, H. Pepper, P. Samelson, K. Wirsing, M. Wössner, H.
Springer /1985-02-01 Paperback / 287 Pages
isbn-10: 3540151877 / isbn-13: 9783540151876
