D
David Harel
1950
14 works on record
Works
Das Affenpuzzle
2001
Computers Ltd
2000
Modeling reactive systems with statecharts
1998
The science of computing
1989
Algorithmics
1987
Rzecz o istocie informatyki
Come, let's play
Algoritmi
Real-time UML
Oxford Maths Zone
Oxford Maths Zone
2000
Pirke yesod be-madae ha-mahshev (Sifriyat universitah meshuderet)
Pirke yesod be-madae ha-mahshev (Sifriyat universitah meshuderet)
1985
First-order dynamic logic
First-order dynamic logic
1979
ha-Maḥshev eno kol-yakhol
ha-Maḥshev eno kol-yakhol
המחשב אינו כל־יכול
המחשב אינו כל־יכול