Books

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