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