David Harel

No bio available. Add one in Open Library.

Books by David Harel (50 max)

+ shelf+ list

Dynamic Logic

2000

David Harel, Dexter Kozen, Jerzy Tiuryn

+ shelf+ list

Algorithmik Die Kunst des Rechnens

2006

David Harel, Micaela Krieger, Yishai Feldman

+ shelf+ list

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)

2005

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

+ shelf+ list

Engineering Theories of Software Intensive Systems

2008

Manfred Broy, Johannes Gruenbauer, David Harel

+ shelf+ list

Das Affenpuzzle und weitere bad news aus der Computerwelt : und weitere bad news aus der Computerwelt

2012

David Harel

+ shelf+ list

Come, Let’s Play : Scenario-Based Programming Using LSCs and the Play-Engine

2012

David Harel, Rami Marelly

+ shelf+ list

Lucid Dream Matrix Journal: A Holistic Way to Record Your Dreams

2024

Troy Rosslow, David Harel