کتاب های Manfred Broy
Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School
Edsger W. Dijkstra (auth.), Manfred Broy (eds.), 1985
Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School
Edsger W. Dijkstra (auth.), Manfred Broy (eds.), 1985
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2009
Formal Methods and Models for System Design: A System Level Perspective
Manfred Broy (auth.), Rajesh Gupta, Paul Le Guernic, Sandeep Kumar Shukla, Jean-Pierre Talpin (eds.), 2004
Advances in real-time systems
Manfred Broy (auth.), 2012
Formal Systems Specification: The RPC-Memory Specification Case Study
Manfred Broy, 1996
Formal Systems Specification: The RPC-Memory Specification Case Study
Manfred Broy, 1996
Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen
Prof. Dr. Manfred Broy, 1998
Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen
Prof. Dr. Manfred Broy, 2002
Model-Based Testing of Reactive Systems: Advanced Lectures
Manfred Broy, 2005
Model-Based Testing of Reactive Systems: Advanced Lectures
Manfred Broy, 2005
Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme
Prof. Dr. Dr. h.c. Manfred Broy (auth.), 2010
Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme
Prof. Dr. Dr. h.c. Manfred Broy (auth.), 2010
Informatik Eine grundlegende Einführung: Band 1: Programmierung und Rechnerstrukturen
Prof. Dr. Manfred Broy (auth.), 1998
