Mordechai Ben-Ari

Books
Ada for Software Engineers Ada for Software Engineers
Ada for Software Engineers
2009
Principles of the Spin Model Checker Principles of the Spin Model Checker
Principles of the Spin Model Checker
2008
Elements of Robotics Elements of Robotics
Elements of Robotics
2017
Elementy robotyki dla początkujących Elementy robotyki dla początkujących
Elementy robotyki dla początkujących
2022
Mathematical Logic for Computer Science Mathematical Logic for Computer Science
Mathematical Logic for Computer Science
2012
Mathematische Überraschungen Mathematische Überraschungen
Mathematische Überraschungen
2025