作者 Manfred Broy 的书籍 - BookPine

Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology

Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology

Klaus Pohl

Modellbildung in der Informatik (Xpert.press)

Modellbildung in der Informatik (Xpert.press)

Manfred Broy

Industrie 4.0: Beherrschung der industriellen Komplexität mit SysLM

Industrie 4.0: Beherrschung der industriellen Komplexität mit SysLM

Ulrich Sendler

Informatik Eine grundlegende Einführung: Band 1: Programmierung und Rechnerstrukturen

Informatik Eine grundlegende Einführung: Band 1: Programmierung und Rechnerstrukturen

Manfred Broy

Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

Manfred Broy

Software and Systems Safety: Specification and Verification

Software and Systems Safety: Specification and Verification

Manfred Broy

VDI-Lexikon Informatik und Kommunikationstechnik (VDI-Buch)

VDI-Lexikon Informatik und Kommunikationstechnik (VDI-Buch)

Manfred Broy

Informatik und Mathematik

Informatik und Mathematik

Manfred Broy

Cyber-Physical Systems: Innovation durch softwareintensive eingebettete Systeme (acatech DISKUTIERT)

Cyber-Physical Systems: Innovation durch softwareintensive eingebettete Systeme (acatech DISKUTIERT)

Manfred Broy

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Manfred Broy

Software System Reliability and Security

Software System Reliability and Security

Manfred Broy

Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, ...

Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, ...

Manfred Broy

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive ... II: Mathematics, Physics and Chemistry, 195)

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive ... II: Mathematics, Physics and Chemistry, 195)

Manfred Broy

Perspectives of Systems Informatics (Lecture Notes in Computer Science (2890)): 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, ... Russia, July 9-12, 2003, Revised Papers

Perspectives of Systems Informatics (Lecture Notes in Computer Science (2890)): 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, ... Russia, July 9-12, 2003, Revised Papers

Manfred Broy

Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study

Manfred Broy

Informatik: Eine grundlegende Einführung Teil II. Rechnerstrukturen und maschinennahe Programmierung (Springer-Lehrbuch)

Informatik: Eine grundlegende Einführung Teil II. Rechnerstrukturen und maschinennahe Programmierung (Springer-Lehrbuch)

Manfred Broy

Informatik: Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung (Springer-Lehrbuch)

Informatik: Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung (Springer-Lehrbuch)

Manfred Broy

Informatik. Eine grundlegende Einführung: Teil III: Systemstrukturen und systemnahe Programmierung (Springer-Lehrbuch)

Informatik. Eine grundlegende Einführung: Teil III: Systemstrukturen und systemnahe Programmierung (Springer-Lehrbuch)

Manfred Broy