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