Your search returned 2 results. Subscribe to this search

|
1. Architecting Dependable Systems VI [electronic resource] / edited by Rogério Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice Beek.

by Lemos, Rogério | Fabre, Jean-Charles | Gacek, Cristina | Gadducci, Fabio | Beek, Maurice | 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
2. Web Services and Formal Methods [electronic resource] : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / edited by Maurice H. Beek, Niels Lohmann.

by Beek, Maurice H [editor.] | Lohmann, Niels [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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