|
Searching ... |
0 % | |||
Engineering Methods and Tools for Software Safety and Security - Volume 22 NATO Science for Peace and Security Series - D Information and Communication Security by Manfred Broy, Tony Hoare, Wassiou Sitou Hardcover, 344 Pages, Published 2009 by Ios Press ISBN-13: 978-1-58603-976-9, ISBN: 1-58603-976-8 |
Methods of Programming Selected Papers on the Cip-Project (Lecture Notes in Computer Science) by M. Broy, M. Wirsing Paperback, 268 Pages, Published 1991 by Springer Verlag ISBN-13: 978-0-387-54576-9, ISBN: 0-387-54576-X |
Control Flow and Data Flow Concepts of Distributed Programming (Nato Asi Series, Vol 14) by M. Broy Hardcover, 525 Pages, Published 1985 by Springer-Verlag ISBN-13: 978-0-387-13919-7, ISBN: 0-387-13919-2 |
Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive ... 3 to 15 August 2004 (Nato Science Series II:) by Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare Hardcover, 404 Pages, Published 2005 by Springer ISBN-13: 978-1-4020-3530-2, ISBN: 1-4020-3530-6 |
Programming Concepts and Methods Proceedings of the Ifip Working Group 2.2./2.3 Working Conference on Programming Concepts and Methods Sea of Galil by Manfred Broy, C. B. Jones Hardcover, 590 Pages, Published 1990 by North-Holland ISBN-13: 978-0-444-88545-6, ISBN: 0-444-88545-5 |
Constructive Methods in Computing Science(Reprint) International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (Nato ASI Subseries F:) by Manfred Broy, Friedrich L. Bauer, E.W. Dijkstra, C.A. Hoare, F.L. Bauer Paperback, 478 Pages, Published 2011 by Springer ISBN-13: 978-3-642-74886-8, ISBN: 3-642-74886-4 |
Logic of Programming and Calculi of Discrete Design(Reprint) International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (Nato ASI Subseries F:) by Manfred Broy, Felix Bauer, E.W. Dijkstra, directed by Felix Bauer, M.- Broy, E.W. Dijkstra, C.A.R. Hoare Paperback, 415 Pages, Published 1987 by Springer ISBN-13: 978-3-642-87376-8, ISBN: 3-642-87376-6 |
Theoretical Foundations of Programming Methodology(Reprint) Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare (Nato Science Series C:) (Volume 91) by Manfred Broy, Günther Schmidt, Nato Science Committee, Technische Universitat Munchen, Technische Universitèat Mèunchen, Ga1/4Nther Schmidt Paperback, 672 Pages, Published 2013 by Springer ISBN-13: 978-90-277-1462-6, ISBN: 90-277-1462-2 |
Program Construction(1979th Edition) International Summer School (Lecture Notes in Computer Science) by Friedrich L. Bauer, D. Gries, E.W. Dijkstra, S. S. Owicki, M. Griffiths, J. J. Horning, S.L. Gerhart, H. Partsch, J. V. Guttag, C. Pair, P. Pepper, M. Wirsing, H. Wössner, M. Broy, H. Wã¶Ssner Paperback, 654 Pages, Published 2008 by Springer ISBN-13: 978-3-540-09251-3, ISBN: 3-540-09251-X |
The Munich Project CIP Volume I: The Wide Spectrum Language CIP-L (Lecture Notes in Computer Science) by R. Berghammer, W. Dosch, F. Geiselbrechtinger, Rupert Gnatz, E. Hangel, A. Laut, T. Matzner, F. Nickl, H. Partsch, P. Pepper, K. Samelson, M. Wirsing, M. Broy, W. Hesse, H. Wössner, B. Möller, Friedrich L. Bauer, B. Krieg-Brückner, Cip Language Group, F. L. Bauer Paperback, 276 Pages, Published 1985 by Springer ISBN-13: 978-3-540-15187-6, ISBN: 3-540-15187-7 |
Das V-Modell XT Grundlagen, Methodik und Anwendungen (eXamen.press) (German Edition) by Reinhard Höhn, Stephan Höppner, Andreas Rausch, Manfred Broy, Klaus Bergner, R. Petrasch, S. Biffl, R. Wagner, W. Hesse Hardcover, 612 Pages, Published 2008 by Springer ISBN-13: 978-3-540-30249-0, ISBN: 3-540-30249-2 |
Formal Description of Programming Concepts by Manfred Paul, Erich J. Neuhold, Contributor-E. Astesiano, Contributor-D. Bjorner, Contributor-M. Broy, Contributor-L. Cardelli, Contributor-M. Wirsing, Krzysztof R. Apt, P.D. Mosses, E.-R. Olderog, Soren Neuhold Hardcover, 508 Pages, Published 1991 by Springer ISBN-13: 978-3-540-53961-2, ISBN: 3-540-53961-1 |
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:) by Manfred Broy, Friedrich L. Bauer, E.W. Dijkstra, C.A. Hoare Hardcover, 478 Pages, Published 1989 by Springer ISBN-13: 978-3-540-51369-8, ISBN: 3-540-51369-8 |
Theoretical Foundations of Programming Methodology (NATO Science Series C: ) by Manfred Broy, Günther Schmidt, Nato Science Committee, Technische Universität München Hardcover, 672 Pages, Published 1982 by Springer ISBN-13: 978-90-277-1460-2, ISBN: 90-277-1460-6 |
Software Pioneers by Manfred Broy, Ernst Denert Hardcover, 728 Pages, Published 2002 by Springer ISBN-13: 978-3-540-43081-0, ISBN: 3-540-43081-4 |
Logic of Programming and Calculi of Discrete Design(1st Edition) International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (Nato ASI Subseries F:) by Manfred Broy, directed by Felix Bauer, M.- Broy, E.W. Dijkstra, C.A.R. Hoare Hardcover, 415 Pages, Published 1987 by Springer ISBN-13: 978-3-540-18003-6, ISBN: 3-540-18003-6 |
Perspectives of Systems Informatics 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, ... Papers (Lecture Notes in Computer Science) by Manfred Broy, Alexandre V. Zamulin Paperback, 572 Pages, Published 2004 by Springer ISBN-13: 978-3-540-20813-6, ISBN: 3-540-20813-5 |
Übungen zur Einführung in die Informatik(2nd Edition) Strukturierte Aufgabensammlung mit Musterlösungen (Springer-Lehrbuch) (German Edition) by Manfred Broy, Bernhard Rumpe, Rumpe Broy Paperback, 376 Pages, Published 2001 by Springer ISBN-13: 978-3-540-42065-1, ISBN: 3-540-42065-7 |
Leipheim. Blick in die Vergangenheit einer geschichtsträchtigen Stadt. by Broy, Erich Published 1986 by Horb Am Neckar, Geiger (). 84 S. Abbildungen M. Begleittexten. Illustrierter Pappband. ISBN-13: 978-3-924932-75-6, ISBN: 3-924932-75-1 |
Symbolische Orte machen(1st Edition) Ein Potenzial der Stadtentwicklung (German Edition) by Kuder, Thomas, Broy, Sonja Perfect Paperback, 224 Pages, Published 2024 by Jovis ISBN-13: 978-3-9861203-9-9, ISBN: 3-9861203-9-4 |
Broy