Library Services | Technical University of Kenya

Your cart is empty.

Your search returned 3 results. Subscribe to this search

Unhighlight Highlight
|
1.
Rigorous Software Development [electronic resource] : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa.

by Almeida, José Bacelar | Frade, Maria João | Pinto, Jorge Sousa | Melo de Sousa, Simão | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
Add to cart
2.
Language Engineering and Rigorous Software Development [electronic resource] : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures / edited by Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto.

by Bove, Ana | Barbosa, Luís Soares | Pardo, Alberto | Pinto, Jorge Sousa | 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
Add to cart
3.
Rigorous Software Development [electronic resource] : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa.

by Almeida, José Bacelar [author.] | Frade, Maria João [author.] | Pinto, Jorge Sousa [author.] | Melo de Sousa, Simão [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
Add to cart

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