B. A. · M.A. · M.B.A. · M. Ben-Ari
| title | ISBN-13 (ISBN-10) | year of publica- tion |
|---|---|---|
| Mathematical Logic for Computer Science | 978-1-85233-319-5 (1-85233-319-7) | 2008 |
| Principles of Concurrent and Distributed Programming | 978-0-321-31283-9 (0-321-31283-X) | 2006 |
| Principles of the Spin Model Checker | 978-1-84628-769-5 (1-84628-769-3) | 2008 |