10 treff

Harel David
Computers Ltd. : what they really can't do
David Harel
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Algorithmics : the spirit of computing
David Harel ; with the technical assistan...
Bok Engelsk 1992 · Vis mer
Vis flere utgaver
Vis flere utgaver
Dynamic logic
David Harel, Dexter Kozen, Jerzy Tiuryn
Bok Engelsk 2000 · Vis mer
Come, let's play : scenario-based programming using LSCs and the play-engine
David Harel, Rami Marelly
Bok Engelsk 2003 · Vis mer
First-order dynamic logic
David Harel
Bok Engelsk 1979 · Vis mer
Modeling reactive systems with statecharts : the statemate approach
David Harel and Michal Politi
Bok Engelsk 1998 · Vis mer
The science of computing : exploring the nature and power of algorithms
David Harel
Bok Engelsk 1989 · Vis mer