Books

Papers/Articles

Books : reviews

[cover]

David Harel. Algorithmics: the spirit of computing. Addison-Wesley. 1987

Rating: 2.5
[ unmissable | great stuff | worth reading | passes the time | waste of time | unfinishable ]

An excellent and readable introduction to algorithms, computability and complexity

[cover]

David Harel, Michal Politi. Modeling Reactive Systems with Statecharts: the Statemate approach. McGraw-Hill. 1998

 

[cover]

David Harel. Computers Ltd: what they really can't do. OUP. 2000