Mathematical Logic for Computer Science
Principles of the Spin Model Checker
Principles of the Spin Model Checker
Surprises mathématiques
Mathematical Logic for Computer Science
Principles of the Spin Model Checker
Mathematical Surprises
The Western Wall (Hakotel)
Ada for Software Engineers
Ani Maamin
Dina Recanati
Elements of Robotics
Mathematische Überraschungen
Crossing the Dateline
Ada for Software Engineers
Education and Culture in East Jerusalem in the Years 1967-1972
New Translations of Programs Schema
Complexity of Proofs and Models in Programming Logics
Roles of Variables from the Perspective of Computer Science Educators