Algorithmics : the spirit of computing /

Autor Harel, David, 1950-
Vydáno 1992

The Science of computing : exploring the nature and power of algorithms /

Autor Harel, David, 1950-
Vydáno 1989

Computers Ltd. : what they really can't do /

Autor Harel, David, 1950-
Vydáno 2000

Come, let's play : scenario-based programming using LSCs and the play-engine /

Autor Harel, David, 1950-, Marelly, Rami, 1967-
Vydáno 2003

Algorithmics : the spirit of computing /

Autor Harel, David, 1950-, Feldman, Yishai A., 1958-
Vydáno 2004

Dynamic logic /

Autor Harel, David, 1950-, Kozen, Dexter C., 1951-, Tiuryn, Jerzy, 1950-
Vydáno 2000