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

Logic of Programming and Calculi of Discrete Design: International Summer School

Logic of Programming and Calculi of Discrete Design: International Summer School

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

Constructive Methods in Computing Science: International Summer School Directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Constructive Methods in Computing Science: International Summer School Directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Manfred Broy

Software and Systems Safety: Specification and Verification (Volume 30; NATO Science for Peace and Security Series D Information and Communication Security)

Software and Systems Safety: Specification and Verification (Volume 30; NATO Science for Peace and Security Series D Information and Communication Security)

Manfred Broy

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

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

Manfred Broy

Program Design Calculi

Program Design Calculi

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