Your search returned 3 results.

Results
1.	Image from Amazon.com	Principles of the Spin Model Checker [electronic resource] / by Mordechai Ben-Ari. by Ben-Ari, Mordechai [author.] SpringerLink (Online service) Publisher: London : Springer London, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
2.	Image from Amazon.com	Mathematical Logic for Computer Science [electronic resource] / by Mordechai Ben-Ari. by Ben-Ari, Mordechai [author.] SpringerLink (Online service) Edition: 3rd ed. 2012. Publisher: London : Springer London : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
3.	Image from Amazon.com	Ada for Software Engineers (Second Edition with Ada 2005) [electronic resource] / edited by Mordechai Ben-Ari. by Ben-Ari, Mordechai [editor.] SpringerLink (Online service) Publisher: London : Springer London, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

Refine your search