000 00326nam a2200121Ia 4500
008 160523s9999 xx 000 0 und d
020 _a0-262-08289-6
100 _aHarel, D.
245 _aDynamic logic
260 _aCambridge; Massachusetts
_bMIT Press
_c2000
300 _axv, 459p.
490 _aFoundations of computing series
999 _c27496
_d27496