Koha online catalog › Results of search for 'au:"Henning Dierks"'

Your search returned 3 results.

	1.	Real-time systems : formal specification and automatic verification / Ernst-Rüdiger Olderog and Henning Dierks. by Olderog, E.-R \| Dierks, H. Material type: Text; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK ; New York : Cambridge University Press, 2008Availability: Items available for loan: TUNGUU LENDING LIBRARY [Call number: 004.33] (1). Place hold Add to your cart (remove)
	2.	Real-time systems : formal specification and automatic verification / Ernst-R©ơdiger Olderog and Henning Dierks by Olderog, E.-R \| Dierks, Henning. Material type: Text; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK ; New York : Cambridge University Press, 2008Availability: Items available for loan: SCHOOL OF HEALTH AND MEDICAL SCIENCES LIBRARY [Call number: 004.33] (2). Place hold Add to your cart (remove)
	3.	Real-time Systems Formal Specification and Automatic Verfication by OLDEROG, Ernst-Rudiger \| Henning Dierks. Material type: Text; Format: print ; Literary form: Not fiction Publisher: United State of America Cambridge 2008Availability: Items available for loan: TUNGUU REFERENCE LIBRARY [Call number: 004.33 OLD] (1). Place hold Add to your cart (remove)

Koha online