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