000 | 00704 a2200241 4500 | ||
---|---|---|---|
003 | OSt | ||
005 | 20210713152226.0 | ||
008 | 210204b xxu||||| |||| 00| 0 eng d | ||
020 | _a9781461218449 | ||
040 | _cIIT Kanpur | ||
041 | _aeng | ||
082 |
_a511.3 _bK849a |
||
100 | _aKozen, Dexter C. | ||
245 |
_aAutomata and Computability [Perpetual] _cDexter C. Kozen |
||
260 |
_bSpringer _c1997 |
||
300 | _axiii, 400p | ||
440 | _aUndergraduate texts in computer science | ||
490 | _a/ edited by David Gries and Fred B. Schneider | ||
650 | _aMachine theory | ||
650 | _aComputable functions | ||
856 | _uhttps://link.springer.com/book/10.1007/978-1-4612-1844-9 | ||
942 | _cEBK | ||
999 |
_c563521 _d563521 |