Informatik Eine grundlegende Einführung. Band 2: Systemstrukturen und Theoretische Informatik Broy, Manfred Heftet / 1998 / Tysk
Informatik. Eine grundlegende Einführung Teil III: Systemstrukturen und systemnahe Programmierung Broy, Manfred Heftet / 1994 / Tysk
Informatik Eine grundlegende Einführung Teil I. Problemnahe Programmierung Broy, Manfred Heftet / 1992 / Tysk
Informatik Eine grundlegende Einführung Band 1: Programmierung und Rechnerstrukturen Broy, Manfred Heftet / 1997 / Tysk
Specification and Development of Interactive Systems Focus on Streams, Interfaces, and Refinement Broy, Manfred Heftet / 2012 / Engelsk
Logische und Methodische Grundlagen der Entwicklung verteilter Systeme Unter Mitarbeit von Alexander Malkis Broy, Manfred Heftet / 2023 / Tysk
Übungen zur Einführung in die Informatik Strukturierte Aufgabensammlung mit Musterlösungen Broy, Manfred Kombinasjonsprodukt / 2001 / Tysk
Specification and Development of Interactive Systems Focus on Streams, Interfaces, and Refinement Broy, Manfred Innbundet / 2001 / Engelsk
Logische und Methodische Grundlagen der Programm- und Systementwicklung Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis Broy, Manfred Heftet / 2019 / Tysk
KORSO: Methods, Languages, and Tools for the Construction of Correct Software Final Report Broy, Manfred Heftet / 1995 / Engelsk
Software Pioneers Contributions to Software Engineering Broy, Manfred Kombinasjonsprodukt / 2002 / Engelsk
Programming and Mathematical Method International Summer School Broy, Manfred Heftet / 2011 / Engelsk
Perspectives of Systems Informatics 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers Broy, Manfred Heftet / 2004 / Engelsk
Constructive Methods in Computing Science International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare Broy, Manfred Innbundet / 1989 / Engelsk
Formal Systems Specification The RPC-Memory Specification Case Study Broy, Manfred Heftet / 1996 / Engelsk
Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers Broy, Manfred Heftet / 2008 / Engelsk
Perspectives of System Informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers Bjørner, Dines Heftet / 2001 / Engelsk
Automotive Software-Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers Broy, Manfred Heftet / 2006 / Engelsk
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 Broy, Manfred Heftet / 2012 / Engelsk
Constructive Methods in Computing Science International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare Broy, Manfred Heftet / 2011 / Engelsk
Formal Methods in Programming and Their Applications International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings Bjørner, Dines Heftet / 1993 / Engelsk
Perspectives of System Informatics Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings Bjørner, Dines Heftet / 2000 / Engelsk
Perspectives of System Informatics Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings Bjørner, Dines Heftet / 1996 / Engelsk
Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology Pohl Klaus Innbundet / 2016 / Engelsk
Control Flow and Data Flow: Concepts of Distributed Programming International Summer School Broy, Manfred Heftet / 1986 / Engelsk
Design Thinking for Software Engineering Creating Human-oriented Software-intensive Products and Services Hehn, Jennifer Innbundet / 2022 / Engelsk
Model-Based Engineering of Embedded Systems The SPES 2020 Methodology Pohl Klaus Innbundet / 2012 / Engelsk
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 Broy, Manfred Innbundet / 2005 / Engelsk
Model-Based Engineering of Embedded Systems The SPES 2020 Methodology Pohl Klaus Heftet / 2014 / Engelsk
Design Thinking for Software Engineering Creating Human-oriented Software-intensive Products and Services Hehn, Jennifer Heftet / 2023 / Engelsk
Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology Pohl Klaus Heftet / 2018 / Engelsk
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 Broy, Manfred Heftet / 2005 / Engelsk
Programming and Mathematical Method International Summer School Broy, Manfred Heftet / 2011 / Engelsk
