David Harel
1950 · 16 obras en el catálogo
Obras

Rzecz o istocie informatyki

Come, let's play
ha-Maḥshev eno kol-yakhol

Das Affenpuzzle
2001
First-order dynamic logic
1979

Modeling reactive systems with statecharts
1998
Pirke yesod be-madae ha-mahshev (Sifriyat universitah meshuderet)
1985

The science of computing
1989
Oxford Maths Zone
2000

Computers Ltd
2000

Algorithmics
1987

Algorithmics

Rzecz o istocie informatyki

Algoritmi
המחשב אינו כל־יכול
