Principles of the Spin Model Checker Más libros de Mordechai Ben-Ari

Elements of Robotics Elements of Robotics
2017
Mathematische Überraschungen Mathematische Überraschungen
2025
Elementy robotyki dla początkujących Elementy robotyki dla początkujących
2022
Mathematical Logic for Computer Science Mathematical Logic for Computer Science
2012
Ada for Software Engineers Ada for Software Engineers
2009