Your search returned 3 results.

Results
	1.	Verification of object-oriented software. The keY approach [electronic resource] by Bernhard Beckert by Beckert, Bernhard H hnle, Reiner and Schmitt, Peter H Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.14 (e-book). Place hold
	2.	Compiler construction [electronic resource] by Shriram Krishnamurthi and Martin Odersky by Krishnamurthi, Shriram Odersky, Martin Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.453 (e-book). Place hold
	3.	Model checking and artificial intelligence [electronic resource] by Stefan Edelkamp and Alessio Lomuscio by Edelkamp, Stefan Lomuscio, Alessio Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 (e-book). Place hold

Refine your search