Your search returned 3 results. Subscribe to this search

|
1. Principles of the Spin Model Checker [electronic resource] / by Mordechai Ben-Ari.

by Ben-Ari, Mordechai | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
2. Ada for Software Engineers (Second Edition with Ada 2005) [electronic resource] / edited by Mordechai Ben-Ari.

by Ben-Ari, Mordechai | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2009Online access: Click here to access online Availability: No items available
3. Mathematical Logic for Computer Science [electronic resource] / by Mordechai Ben-Ari.

by Ben-Ari, Mordechai [author.] | SpringerLink (Online service).

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