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

Your search returned 2 results.

	1.	Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. by Poernomo, Iman Hafiz \| Wirsing, Martin \| Crossley, John Newsome \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	2.	Component-Based Software Engineering [electronic resource] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / edited by Grace A. Lewis, Iman Poernomo, Christine Hofmeister. by Lewis, Grace A \| Poernomo, Iman \| Hofmeister, Christine \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)

Library Services | Technical University of Kenya