| 000 | 00458nam a2200205Ia 4500 | ||
|---|---|---|---|
| 999 |
_c12000 _d12000 |
||
| 003 | OSt | ||
| 005 | 20190921155557.0 | ||
| 008 | 160427s9999 xx 000 0 und d | ||
| 020 | _a9788120331716 | ||
| 040 | _cLIRC | ||
| 082 | _a004.1 HAR | ||
| 100 | _aHarel, David ; Kozen, Dexter and Tiuryn, Jerzy | ||
| 245 | _aDynamic logic | ||
| 260 | _aNew Delhi | ||
| 260 | _bPHI | ||
| 260 | _c2007 | ||
| 300 | _a459 p. | ||
| 600 | _xCSE | ||
| 942 |
_2ddc _cBK |
||