| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Ada for Software Engineers | 978-1-84882-313-6 | 2009 | ||
| Elements of Robotics | 978-3-319-62532-4 | 2017 | ||
| Logika matematyczna w informatyce | 978-83-204-3221-3 | 2006 | ||
| Logika matematyczna w informatyce | 978-83-204-2972-5 | 2004 | ||
| Mathematical Logic for Computer Science | 978-1-85233-319-5 | 2003 | ||
| Mathematical Logic for Computer Science | 978-0-13-564139-2 | 1993 | M. Ben-Ari | |
| Mathematical Logic for Computer Scienceience | 978-81-8128-344-3 | 2005 | ||
| Mathematical Logic for Computer Science: Third Edition | 978-1-4471-4128-0 | 2012 | ||
| Podstawy programowania wspolbieznego i rozproszonego | 978-83-204-3441-5 | 2009 | ||
| Principles of Concurrent and Distributed Programming | 978-0-321-31283-9 | 2005 | ||
| Principles of Concurrent Programming | 978-0-13-701078-3 | 1982 | Ben Ari | |
| Principles of the Spin Model Checker | 978-1-84628-769-5 | 2008 | ||
| SPINモデル検査入門 SPINmoderukensanyuumon | 978-4-274-20844-7 | 2010 | ||
B. A. · Ben-Ari · Ben-Ari Mordechai · M.A. · M B · M.B.A. · M. Ben-Ari
Addison-Wesley · Prentice Hall · Springer · WNT