10 treff

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