Your search returned 2 results. Subscribe to this search

|
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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue