 |
D. Harel, First-Order Dynamic Logic, Lecture Notes in Computer Science, Vol. 68, Springer-Verlag, New York, 1979. |
 |
D. Harel, Fundamental Topics in Computer Science, (in Hebrew), IDF Publishers, Israel, 1985. |
 |
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, 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 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, 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 |
