Your search returned 4 results.

Results
		Specification and development of interactive systems : focus on streams, interfaces, and refinement / Manfred Broy, Ketil Stølen. by Broy, Manfred Stølen, Ketil Series: Monographs in computer science Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Publication details: New York : Springer, 2001 Availability: Items available for loan: UMPLIB GAMBANG (1)Call number: QA 76.758 .B76 2001. Place hold Log in to add tags Add to cart (remove)
		Software and systems safety : specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare by Broy, Manfred Leuxner, Christian Hoare, Tony Series: NATO science for peace and security series. Sub-series D: Information and communication security, ; vol. 30 Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Amsterdam : IOS Press, 2011 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.9.A25 S64 2011. Place hold Log in to add tags Add to cart (remove)
		Models, algebras and logic of engineering software / edited by Manfred Broy and Markus Pizka by Broy, Manfred Pizka, Markus Series: Nato science series; v. 191 Material type: Text; Literary form: Not fiction ; Audience: General; Publication details: Amsterdam, The Netherlands: IOS Press, 2003 Availability: Items available for reference: UMPLIB GAMBANG: Not for loan (1)Call number: TA345 .M62 2002. Log in to add tags Add to cart (remove)
		Automotive software : connected services in mobile networks : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004 : revised selected papers / Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.) by Automotive Software Workshop (1st : 2004 : San Diego, Calif.) Broy, Manfred Kruger, Ingolf H Meisinger, Michael Series: Lecture notes in computer science ; 4147 Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin : Springer, 2006 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: TL272.53 .A98 2004. Place hold Log in to add tags Add to cart (remove)