Logische und Methodische Grundlagen der Programm- und Systementwicklung Broy, Manfred Digital bok / 2019 / Tysk
Informatik Eine grundlegende Einführung. Band 2: Systemstrukturen und Theoretische Informatik Broy, Manfred Heftet / 1998 / Tysk
Logische und Methodische Grundlagen der Entwicklung verteilter Systeme Broy, Manfred Digital bok / 2023 / Tysk
Informatik Eine grundlegende Einführung Band 1: Programmierung und Rechnerstrukturen Broy, Manfred Heftet / 1997 / Tysk
Logische und Methodische Grundlagen der Entwicklung verteilter Systeme Unter Mitarbeit von Alexander Malkis Broy, Manfred Heftet / 2023 / Tysk
Logische und Methodische Grundlagen der Programm- und Systementwicklung Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis Broy, Manfred Heftet / 2019 / Tysk
Übungen zur Einführung in die Informatik Strukturierte Aufgabensammlung mit Musterlösungen Broy, Manfred Annet format / 2001 / Tysk
Specification and Development of Interactive Systems Focus on Streams, Interfaces, and Refinement Broy, Manfred Heftet / 2012 / Engelsk
Programming and Mathematical Method International Summer School Broy, Manfred Heftet / 2011 / 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
Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology Böhm, Wolfgang Heftet / 2021 / Engelsk
Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology Pohl Klaus Heftet / 2018 / Engelsk
Design Thinking for Software Engineering Creating Human-oriented Software-intensive Products and Services Hehn, Jennifer Heftet / 2023 / Engelsk
Design Thinking for Software Engineering Creating Human-oriented Software-intensive Products and Services Hehn, Jennifer Innbundet / 2022 / Engelsk
Model-Based Systems Engineering with the SPES Modeling Language A SysML Workbench for the SPES Methodology Böhm, Wolfgang Heftet / 2026 / Engelsk
Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology Böhm, Wolfgang Innbundet / 2020 / Engelsk
Programming and Mathematical Method International Summer School Broy, Manfred Heftet / 2011 / Engelsk
