<![CDATA[Library Services | Technical University of Kenya Search for 'au:"Ben-Ari, Mordechai."']]>

<![CDATA[Library Services | Technical University of Kenya Search for 'au:"Ben-Ari, Mordechai."']]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Ben-Ari%2C%20Mordechai.%22&format=rss2 3 0 50 Principles of the Spin Model Checker ISBN 9781846287701 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=74348 By Ben-Ari, Mordechai.. London : Springer London, 2008 9781846287701

Place Hold on Principles of the Spin Model Checker

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=74348 Ada for Software Engineers (Second Edition with Ada 2005) ISBN 9781848823143 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=74632 By Ben-Ari, Mordechai.. London : Springer London, 2009 9781848823143

Place Hold on Ada for Software Engineers (Second Edition with Ada 2005)

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=74632 Mathematical Logic for Computer Science ISBN 9781447141297 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=100770 By Ben-Ari, Mordechai.. . XV, 346 p. 79 illus. 9781447141297

Place Hold on Mathematical Logic for Computer Science

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=100770