Books by
David Harel
|
D. Harel, First-Order Dynamic Logic,
Lecture Notes in Computer Science, Vol. 68, Springer-Verlag, New York,
1979.
More Details
|
|
D. Harel, Fundamental Topics in Computer Science, (in
Hebrew), IDF Publishers, Israel, 1985.
2nd edn., 1986; 3rd edn., 1990; 4th edn., 1993. (Russian , 1994.)
More Details
|
|
D. Harel, Algorithmics: The Spirit of Computing, Addison-Wesley,
Reading, MA, 1987. 2nd edition, 1992;
3rd edition,
2004 (with Y. Feldman). (1st edn.: Dutch, 1989; Hebrew (Open University Press), 1991;
2nd edn.: Polish, 1992, 2001; 3rd edn.: Chinese, 2006; German, 2006; Italian, 2008.)
More Details
|
|
D. Harel, Algorithmics: The Spirit of Computing, 3rd edition,
Springer, 2012 (with Y. Feldman). (special printing for the Turing Centennial year, published by Springer for the U.S. - Canada market.)
More Details
|
|
D. Harel, The Science of Computing: Exploring the Nature and
Power of Algorithms, Addison-Wesley, Reading, MA, 1989.
(This is a revised trade edition of Algorithmics.)
More Details
|
|
D. Harel and M. Politi, Modeling Reactive Systems with Statecharts:
The STATEMATE Approach, McGraw-Hill, 1998.
(Early version titled: The Languages of STATEMATE, I-Logix,
Inc., Andover, MA, 1991.)
More Details
This book is no longer in print at
McGraw-Hill. It can be downloaded here:
Download Book
|
|
D. Harel, Computers Ltd.: What They Really Can't Do, Oxford University Press, 2000.
Revised paperback edition, 2003; Special printing with new preface for the Turing Centennial year, 2012.
(German
(Springer-Verlag), 2002; Polish, 2002; Italian, 2002; Chinese, 2003; Hebrew, 2004.)
More Details
|
|
D. Harel, D. Kozen and J. Tiuryn,
Dynamic Logic, MIT Press, 2000.
More Details
|
|
D. Harel and R. Marelly, Come, Let's Play:
Scenario-Based Programming Using LSCs and the Play-Engine,
Springer-Verlag, 2003. (Includes CD with the Play-Engine
Software. See the special book
webpage.)
More Details
This book is no longer in print at
Springer-Verlag. It can be downloaded here:
Download Book
|
Back to Top |