Your search returned 5 results. Subscribe to this search

|
1. Formal Methods: State of the Art and New Directions [electronic resource] / edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi.

by Boca, Paul | Bowen, Jonathan P | Siddiqi, Jawed | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2010Online access: Click here to access online Availability: No items available
2. Formal Methods and Testing [electronic resource] : An Outcome of the FORTEST Network, Revised Selected Papers / edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman.

by Hierons, Robert M | Bowen, Jonathan P | Harman, Mark | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
3. Abstract State Machines, B and Z [electronic resource] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca.

by Börger, Egon | Butler, Michael | Bowen, Jonathan P | Boca, Paul | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
4. Electronic Visualisation in Arts and Culture [electronic resource] / edited by Jonathan P. Bowen, Suzanne Keene, Kia Ng.

by Bowen, Jonathan P [editor.] | Keene, Suzanne [editor.] | Ng, Kia [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
5. Formal Methods: State of the Art and New Directions [electronic resource] / edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi.

by Boca, Paul [editor.] | Bowen, Jonathan P [editor.] | Siddiqi, Jawed [editor.] | SpringerLink (Online service).

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