Bok Innbunden bok Pocketbok
Vis utilgjengelige utgivelser

Releases med Manfred Broy

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

1. Aufl. 2023 edition

Logische und Methodische Grundla... (2023)

Cover for Manfred Broy · Einfuehrung in die Softwaretechnik (Bok) (2021)

Einfuehrung in die Softwaretechnik (2021)

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

1. Aufl. 2019 edition

Logische und Methodische Grundla... (2019)

Cover for Manfred Broy · Software Pioneers: Contributions to Software Engineering (Pocketbok) [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 · Projektorganisation Und Management Im Software Engineering - Xpert.Press (Innbunden bok) [2013 edition] (2013)

Projektorganisation Und Manageme... (2013)

Cover for Manfred Broy · Modellbildung in Der Informatik - Xpert.press (Pocketbok) [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 (Pocketbok) [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 (Pocketbok) [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 (Pocketbok) [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: (Pocketbok) [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: (Pocketbok) [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: (Pocketbok) [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: (Pocketbok) [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: (Pocketbok) [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 (Pocketbok) (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 (Pocketbok) [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 (Innbunden bok) [2005 edition] (2005)

Engineering Theories of Software... (2005)

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 (Pocketbok) [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 (Pocketbok) [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 (Pocketbok) (2004)

Perspectives of Systems Informat... (2004)

Cover for Manfred Broy · Modellbildung in Der Informatik - Xpert.Press (Innbunden bok) [2004 edition] (2003)

Modellbildung in Der Informatik ... (2003)

Cover for Manfred Broy · Specification and Development of Interactive Systems: Focus on Streams, Interfaces and Refinement - Monographs in Computer Science (Innbunden bok) (2001)

Specification and Development of... (2001)

Cover for Manfred Broy · Informatik: Eine Grundlegende Einfuhrung. Band 2: Systemstrukturen Und Theoretische Informatik - Springer-Lehrbuch (Innbunden bok) [2nd 2. Aufl. 1998. Nachdruck 2003 edition] (1998)

2nd 2. Aufl. 1998. Nachdruck 2003 edition

Informatik: Eine Grundlegende Ei... (1998)

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

2. Aufl. edition

Informatik (1997)

Cover for Manfred Broy · Deductive Program Design - Nato Asi Series / Nato Asi Subseries F: (Innbunden bok) (1996)

Deductive Program Design - Nato ... (1996)

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

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

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

Informatik. Eine Grundlegende Ei... (1994)

Cover for Manfred Broy · Program Design Calculi - Nato ASI Subseries F: (Innbunden bok) [1993 edition] (1993)

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

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

Softcover reprint of the original 1st ed. 1982 edition

Theoretical Foundations of Progr... (1982)