Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Image from Amazon.com	The calculus of computation decision procedures with applications to verification by Bradley, Aaron R Zohar Manna Material type: Text Publication details: New Delhi ; Springer ; 2007 Availability: Items available for loan: AMRITA SCHOOL OF ENGINEERING (1)Location, call number: CS110-R4 004.8:510.647 P72. Place hold Save to lists Add to cart (remove)
	2.	Image from Amazon.com	Programming for engineers : a foundational approach to learning C and Matlab by Bradley, Aaron R Material type: Text Publication details: New York ; Springer ; 2011 Availability: Items available for reference: AMRITA SCHOOL OF ENGINEERING: Not for loan (1)Location, call number: RF27-R2 004.42:62 Q10. Save to lists Add to cart (remove)

Central Library - Coimbatore