Books by David Harel
|
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.)
|
|
D. Harel, Algorithmics: The Spirit of Computing, 3rd edition, Springer, 2012 (with Y. Feldman). (special printing for the Turing Centennial year, published for the U.S. - Canada market.)
|
|
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.) |
|
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.)
|
|
D. Harel, Computers Ltd.: What They Really Can't Do, , Oxford University Press, 2000. Revised paperback edition, 2003. (German (Springer-Verlag), 2002; Italian, 2002; Polish, 2002; Chinese, 2003; Hebrew, 2004; Special printing with new preface for the Turing Centennial year, 2012.) |
|
D. Harel, D. Kozen and J. Tiuryn,
Dynamic Logic, MIT Press, 2000.
|
|
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.)
|
