%0 Generic
%T 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
%A VENEMA, YDE
%I Cambridge University Press (CUP)
%@ 1471-0684
%K Artificial Intelligence
%K Computational Theory and Mathematics
%K Hardware and Architecture
%K Theoretical Computer Science
%K Software
%D 2002
%C Cambridge University Press (CUP)
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation