Your search returned 3 results.

Results
	1.	Software and systems safety : specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare. by Broy, Manfred Leuxner, Christian Hoare, Tony NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification (2010: Marktoberndorf, Germany) Series: Material type: Text; Format: print ; Literary form: Not fiction Publisher: Washington, D.C. : IOS Press, 2011 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA76.9.A25 .S66 2011. Place hold Place recall Add to cart (remove)
	2.	Specification and development of interactive systems : focus on streams, interfaces and refinement / Manfred Broy, Ketil Stolen. by Broy, Manfred [author] Stolen, Ketil Series: Material type: Text; Format: print Publisher: New York : Springer, 2001 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA76.758 .B76 2001. Place hold Place recall Add to cart (remove)
	3.	Software pioneers : contributions to software engineering / editors, Manfred Broy, Ernst Denert,. by Broy, Manfred Denert, Ernst Material type: Text; Format: print Publisher: Berlin : Springer, 2002 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA76.2.A2 .S63 2002. Place hold Place recall Add to cart (remove)

Refine your search