کتاب های M. Broy
![Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School](http://cdn.ketabkoo.com/covers/1/111279-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/111280-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/143380-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/155222-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/176177-n.jpg)
Advances in real-time systems
Manfred Broy (auth.), 2012![Formal Systems Specification: The RPC-Memory Specification Case Study](http://cdn.ketabkoo.com/covers/1/194274-n.jpg)
Formal Systems Specification: The RPC-Memory Specification Case Study
Manfred Broy, 1996![Formal Systems Specification: The RPC-Memory Specification Case Study](http://cdn.ketabkoo.com/covers/1/194275-n.jpg)
Formal Systems Specification: The RPC-Memory Specification Case Study
Manfred Broy, 1996![Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen](http://cdn.ketabkoo.com/covers/2/221151-n.jpg)
Ü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](http://cdn.ketabkoo.com/covers/2/221152-n.jpg)
Ü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](http://cdn.ketabkoo.com/covers/2/250384-n.jpg)
Model-Based Testing of Reactive Systems: Advanced Lectures
Manfred Broy, 2005![Model-Based Testing of Reactive Systems: Advanced Lectures](http://cdn.ketabkoo.com/covers/2/250385-n.jpg)
Model-Based Testing of Reactive Systems: Advanced Lectures
Manfred Broy, 2005![Software Systems Reliability and Security](http://cdn.ketabkoo.com/covers/3/302891-n.jpg)
Software Systems Reliability and Security
M. Broy, 2007![Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme](http://cdn.ketabkoo.com/covers/5/515445-n.jpg)
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](http://cdn.ketabkoo.com/covers/5/515447-n.jpg)
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](http://cdn.ketabkoo.com/covers/6/648110-n.jpg)