Mordechai Ben-Ari
- Auteur
Boeken van Mordechai Ben-Ari
Mordechai Ben-Ari
Francesco Mondada
Elements of Robotics
This open access book bridges the gap between playing with robots in school and studying robotics at the upper undergraduate and graduate levels to prepare for careers in industry and research.
Meer
Mordechai Ben-Ari
Mathematical Logic for Computer Science
This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.
Meer
Mordechai Ben-Ari
Ada for Software Engineers
Ada is the programming language of choice for high integrity software systems and is used extensively in industries such as transportation and aerospace.
Meer
Mordechai Ben-Ari
Principles of the Spin Model Checker
This is the first introductory textbook on Spin, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers.
Meer