Viser Paperback Bog · Vis alle
Vis udgåede udgivelser

Udgivelser med Manfred Broy

Cover for Manfred Broy · Logische und Methodische Grundlagen der Entwicklung verteilter Systeme: Unter Mitarbeit von Alexander Malkis (Paperback Bog) [1. Aufl. 2023 edition] (2023)

1. Aufl. 2023 edition

Logische und Methodische Grundla... (2023)

Cover for Manfred Broy · Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis (Paperback Bog) [1. Aufl. 2019 edition] (2019)

1. Aufl. 2019 edition

Logische und Methodische Grundla... (2019)

Cover for Manfred Broy · Software Pioneers: Contributions to Software Engineering (Paperback Bog) [Softcover reprint of the original 1st ed. 2002 edition] (2014)

Softcover reprint of the original 1st ed. 2002 edition

Software Pioneers: Contributions... (2014)

Cover for Manfred Broy · Modellbildung in Der Informatik - Xpert.press (Paperback Bog) [German, Softcover Reprint of the Original 1st Ed. 2004 edition] (2013)

German, Softcover Reprint of the Original 1st Ed. 2004 edition

Modellbildung in Der Informatik ... (2013)

Cover for Manfred Broy · Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement - Monographs in Computer Science (Paperback Bog) [Softcover Reprint of the Original 1st Ed. 2001 edition] (2012)

Softcover Reprint of the Original 1st Ed. 2001 edition

Specification and Development of... (2012)

Cover for Manfred Broy · VDI-Lexikon Informatik Und Kommunikationstechnik - VDI-Buch (Paperback Bog) [2nd 2. Aufl. 1999. Softcover Reprint of the Origin edition] (2012)

2nd 2. Aufl. 1999. Softcover Reprint of the Origin edition

VDI-Lexikon Informatik Und Kommu... (2012)

Cover for Manfred Broy · Informatik und Mathematik (Paperback Bog) [Softcover reprint of the original 1st ed. 1991 edition] (2011)

Softcover reprint of the original 1st ed. 1991 edition

Informatik und Mathematik (2011)

Cover for Manfred Broy · Programming and Mathematical Method: International Summer School - Nato ASI Subseries F: (Paperback Bog) [Softcover reprint of the original 1st ed. 1992 edition] (2011)

Softcover reprint of the original 1st ed. 1992 edition

Programming and Mathematical Met... (2011)

Cover for Manfred Broy · 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: (Paperback Bog) [Softcover reprint of the original 1st ed. 1989 edition] (2011)

Softcover reprint of the original 1st ed. 1989 edition

Constructive Methods in Computin... (2011)

Cover for Manfred Broy · Mathematical Methods in Program Development - Nato ASI Subseries F: (Paperback Bog) [Softcover reprint of the original 1st ed. 1997 edition] (2011)

Softcover reprint of the original 1st ed. 1997 edition

Mathematical Methods in Program ... (2011)

Cover for Manfred Broy · Deductive Program Design - Nato ASI Subseries F: (Paperback Bog) [Softcover reprint of the original 1st ed. 1996 edition] (2011)

Softcover reprint of the original 1st ed. 1996 edition

Deductive Program Design - Nato ... (2011)

Cover for Manfred Broy · Program Design Calculi - Nato ASI Subseries F: (Paperback Bog) [Softcover reprint of the original 1st ed. 1993 edition] (2010)

Softcover reprint of the original 1st ed. 1993 edition

Program Design Calculi - Nato AS... (2010)

Cover for Manfred Broy · Model-driven Development of Reliable Automotive Services: Second Automotive Software Workshop, Aswsd 2006, San Diego, Ca, Usa, March 15-17, 2006, Revised Selected Papers - Lecture Notes in Computer Science / Programming and Software Engineering (Paperback Bog) (2008)

Model-driven Development of Reli... (2008)

Cover for Manfred Broy · Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers - Information Systems and Applications, incl. Internet / Web, and HCI (Paperback Bog) [2006 edition] (2006)

Automotive Software-Connected Se... (2006)

Cover for Manfred Broy · Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004 - NATO Science Series II (Paperback Bog) [2005 edition] (2005)

Engineering Theories of Software... (2005)

Cover for Manfred Broy · Model-Based Testing of Reactive Systems: Advanced Lectures - Lecture Notes in Computer Science (Paperback Bog) [2005 edition] (2005)

Model-Based Testing of Reactive ... (2005)

Cover for Manfred Broy · Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, Psi 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers - Lecture Notes in Computer Science (Paperback Bog) (2004)

Perspectives of Systems Informat... (2004)

Cover for Manfred Broy · Informatik (Paperback Bog) [2. Aufl. edition] (1997)

2. Aufl. edition

Informatik (1997)

Cover for Manfred Broy · Korso: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (Final Report) - Lecture Notes in Computer Science (Paperback Bog) (1995)

Korso: Methods, Languages, and T... (1995)

Cover for Manfred Broy · Informatik. Eine Grundlegende Einfuhrung - Springer-lehrbuch (Paperback Bog) [German edition] (1994)

Informatik. Eine Grundlegende Ei... (1994)

Cover for Manfred Broy · Informatik - Springer-lehrbuch (Paperback Bog) [German edition] (1992)

Informatik - Springer-lehrbuch (1992)

Cover for Manfred Broy · Methods of Programming: Selected Papers on the Cip-project - Lecture Notes in Computer Science (Paperback Bog) (1991)

Methods of Programming: Selected... (1991)

Cover for Manfred Broy · Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School - Springer Study Edition (Paperback Bog) [Softcover reprint of the original 1st ed. 1986 edition] (1986)

Softcover reprint of the original 1st ed. 1986 edition

Control Flow and Data Flow: Conc... (1986)

Cover for Manfred Broy · 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 (Paperback Bog) [Softcover reprint of the original 1st ed. 1982 edition] (1982)

Softcover reprint of the original 1st ed. 1982 edition

Theoretical Foundations of Progr... (1982)