Koha online catalog › Results of search for 'su:"Real-time data processing."'

Your search returned 2 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)

Koha online