Books by David Harel
Come, let's play
המחשב אינו כל־יכול
המחשב אינו כל־יכול
Algoritmi
ha-Maḥshev eno kol-yakhol
ha-Maḥshev eno kol-yakhol
Das Affenpuzzle
Rzecz o istocie informatyki
Computers Ltd
Modeling reactive systems with statecharts
Real-time UML
Algorithmics
Pirke yesod be-madae ha-mahshe
Pirke yesod be-madae ha-mahshev (Sifriyat universitah meshuderet)
First-order dynamic logic