Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages
You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Article
Title:
Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages
Contributor:
VENEMA, YDE
imprint:
Cambridge University Press (CUP), 2002
Published in:Theory and Practice of Logic Programming