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 |