| 000 | 00494nam a22001817a 4500 | ||
|---|---|---|---|
| 008 | 210916b1997 |||||||| |||| 00| 0 eng d | ||
| 020 | _a9780387949079 | ||
| 082 | _a004.0151 KOZ-D | ||
| 100 | _aKozen, Dexter C. | ||
| 245 |
_aAutomata and computability / _cDexter C. Kozen |
||
| 260 |
_aNew York _bSpringer _c1997 |
||
| 300 | _a400 p. | ||
| 365 |
_aEU _b69.99. |
||
| 650 | _aMachine theory | ||
| 650 | _aComputable functions | ||
| 650 | _aComputer science | ||
| 650 | _aComputer software | ||
| 999 |
_c67383 _d67383 |
||