Your search returned 5 results.

Results
	1.	Engineering Theories of Software Intensive Systems [electronic resource] : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 / edited by Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare. by Broy, Manfred [editor.] Grünbauer, Johannes [editor.] Harel, David [editor.] Hoare, Tony [editor.] SpringerLink (Online service) Series: NATO Science Series, Series II: Mathematics, Physics and Chemistry ; 195 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Model-Based Testing of Reactive Systems [electronic resource] : Advanced Lectures / edited by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner. by Broy, Manfred [editor.] Jonsson, Bengt [editor.] Katoen, Joost-Pieter [editor.] Leucker, Martin [editor.] Pretschner, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3472 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Automotive Software – Connected Services in Mobile Networks [electronic resource] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / edited by Manfred Broy, Ingolf H. Krüger, Michael Meisinger. by Broy, Manfred [editor.] Krüger, Ingolf H [editor.] Meisinger, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4147 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Model-Driven Development of Reliable Automotive Services [electronic resource] : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers / edited by Manfred Broy, Ingolf H. Krüger, Michael Meisinger. by Broy, Manfred [editor.] Krüger, Ingolf H [editor.] Meisinger, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4922 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Model-Based Engineering of Embedded Systems [electronic resource] : The SPES 2020 Methodology / edited by Klaus Pohl, Harald Hönninger, Reinhold Achatz, Manfred Broy. by Pohl, Klaus [editor.] Hönninger, Harald [editor.] Achatz, Reinhold [editor.] Broy, Manfred [editor.] SpringerLink (Online service) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)