David Harel

Algorithmics

1997

Dynamic Logic

2018

Real-time UML

2004

Computers Ltd

2004

Come, let's play

2012

Rzecz o istocie informatyki

2001

Oxford Maths Zone

2000

Engineering Theories of Software Intensive Systems

2008

Algoritmi

2008

Algorithmik

2009

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

2012

The science of computing

1989

Pirke yesod be-madae ha-mahshev (Sifriyat universitah meshuderet)

1985

Modeling reactive systems with statecharts

1998

Lucid Dream Matrix Journal

2024

First-order dynamic logic

1979

Das Affenpuzzle

2001

Das Affenpuzzle und weitere bad news aus der Computerwelt

2012