/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Mordechai%20Ben-Ari%22&sort_by=relevance&format=rss 3 0 50 ISBN:978-1-4471-4129-7 /cgi-bin/koha/opac-detail.pl?biblionumber=218654 ]]> By Mordechai Ben-Ari.
New York Springer US 2012 978-1-4471-4129-7

]]> Place hold on Mathematical Logic for Computer Science

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=218654 ISBN:978-1-84628-770-1 /cgi-bin/koha/opac-detail.pl?biblionumber=219029 ]]> By Mordechai Ben-Ari.
New York Springer US 2008 978-1-84628-770-1

]]> Place hold on Principles of the Spin Model Checker

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=219029 ISBN:978-1-84882-314-3 /cgi-bin/koha/opac-detail.pl?biblionumber=219175 ]]> By Mordechai Ben-Ari.
New York Springer US 2009 978-1-84882-314-3

]]> Place hold on Ada for Software Engineers (Second Edition with Ada 2005)

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=219175