Your search returned 2 results.

Results
	1.	Real-time systems by Liu, Jane W. S [Author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Noida : Pearson Education, ©2000 Availability: Items available for loan: IIT - Dharwad (1)Call number: 004.33 LIU / B. Place hold Add to cart (remove)
	2.	Real-time systems : formal specification and automatic verification by Olderog, Ernst-Rüdiger [Author] Dierks, Henning [Author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, ©2008 Availability: Items available for loan: IIT - Dharwad (1)Call number: 004.33 OLD / B. Place hold Add to cart (remove)

Refine your search