| 000 | 00626 a2200205 4500 | ||
|---|---|---|---|
| 999 |
_c4278 _d4278 |
||
| 010 | _aENG-86229 | ||
| 020 |
_a9788120331716 _c295.00 |
||
| 035 | _aEN-69761 | ||
| 037 | _bDBAD / PUB | ||
| 082 | 1 | 4 | _a004.0151 |
| 100 | _aHarel, David | ||
| 245 | 1 |
_aDynamic logic / _cby David Harel, Dexter Kozen [and] Jerzy Tiuryn |
|
| 260 |
_aNew Delhi _bPrentice-Hall of India _c2007 |
||
| 270 |
_aM-97, Connaught Circus _bNew Delhi _cNew Delhi _e110 001 |
||
| 300 |
_axv, 459p. _c23cm. (Pbk) |
||
| 500 | _aIncludes index | ||
| 700 | _aKozen, Dexter | ||
| 700 | _aTiuryn, Jerzy | ||
| 942 |
_adpl _cEN _2ddc _h004.0151 _mHAR |
||