Library Services | Technical University of Kenya catalog › Results of search for 'au:"Gupta, Aarti."'

Your search returned 2 results.

	1.	SAT-Based Scalable Formal Verification Solutions [electronic resource] / by Malay K. Ganai, Aarti Gupta. by Ganai, Malay K \| Gupta, Aarti \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	2.	Computer Aided Verification [electronic resource] : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings / edited by Aarti Gupta, Sharad Malik. by Gupta, Aarti \| Malik, Sharad \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)

Library Services | Technical University of Kenya