David Harel with Yishai Feldman

Springer 2012 3rd ed

: hbk.

Available at 6 libraries

David Hare

Faber and Faber 2007, c2005

: pbk

Available at 3 libraries

David Hare

Faber and Faber 2005

: hbk

Available at 2 libraries

David Harel with Yishai Feldman

Addison Wesley c2004 3rd ed

Available at 1 libraries

David Harel

Oxford University Press 2003, c2000

: pbk

Available at 5 libraries

David Harel, Rami Marelly

Springer 2003

Available at 5 libraries

David Harel

Oxford University Press 2000

Available at 5 libraries

David Harel, Dexter Kozen, Jerzy Tiuryn

MIT Press 2000 MIT Press series in the foundations of computing

Available at 31 libraries

David Harel with the technical assistance of Roni Rosner on the exercises and solutions

Addison-Wesley c1992 2nd ed

Available at 34 libraries

David Harel

Addison-Wesley Pub. Co. c1989

Available at 14 libraries

David Harel

Addison-Wesley c1987

: pbk

Available at 18 libraries

David Harel

Springer-Verlag 1979 Lecture notes in computer science 68

: gw , : us

Available at 63 libraries

by David Harel

Laboratory for Computer Science, Massachusetts Institute of Technology 1978

Available at 1 libraries