Mathematical Logic for Computer Science More Books by Mordechai Ben-Ari

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