| 000 | 00490 a2200169 4500 | ||
|---|---|---|---|
| 008 | 090330t xxu||||| |||| 00| 0 eng d | ||
| 020 | _a3 540 78105 6 | ||
| 082 | _a519.713 KOZ | ||
| 100 |
_aKozen, Dexter C _94594 |
||
| 245 |
_aAutomata and computability _cDexter C Kozen |
||
| 260 |
_aHeidelberg _bSpringer - Verlag _c2002 |
||
| 300 | _axiii, 400p. | ||
| 650 |
_aMachine theory. _94595 |
||
| 650 |
_aComputable functions. _94596 |
||
| 700 |
_aKozen, Dexter C _94597 |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c85346 _d85346 |
||