| 000 | 01480cam a22003858i 4500 | ||
|---|---|---|---|
| 001 | 22847203 | ||
| 003 | OSt | ||
| 005 | 20241022125345.0 | ||
| 008 | 221031s2023 enk b 001 0 eng | ||
| 010 | _a 2022052126 | ||
| 020 | _a9780262048637 | ||
| 020 |
_z9780262376938 _q(epub) |
||
| 020 |
_z9780262376945 _q(adobe pdf) |
||
| 040 |
_aFoundation University _beng _erda _cFoundation University |
||
| 042 | _apcc | ||
| 050 | 0 | 0 |
_aQA267 _b.E87 2023 |
| 082 | 0 | 0 |
_a005.13/1 _223/eng20230711 |
| 100 | 1 |
_aEsparza, Javier, _eauthor. _98562 |
|
| 245 | 1 | 0 |
_aAutomata theory : _ban algorithmic approach / _cJavier Esparza and Michael Blondin. |
| 263 | _a2309 | ||
| 264 | 1 |
_aCambridge : _bThe MIT Press, _c2023. |
|
| 300 | _apages cm | ||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_aunmediated _bn _2rdamedia |
||
| 338 |
_avolume _bnc _2rdacarrier |
||
| 504 | _aIncludes bibliographical references and index. | ||
| 520 |
_a"The book presents automata theory from a fresh viewpoint inspired by its main modern application: program verification"-- _cProvided by publisher. |
||
| 650 | 0 |
_aMachine theory. _98563 |
|
| 658 | _aCollege of Computer Science | ||
| 700 | 1 |
_aBlondin, Michael, _eauthor. _98564 |
|
| 776 | 0 | 8 |
_iOnline version: _aEsparza, Javier. _tAutomata theory _dCambridge : The MIT Press, 2023 _z9780262376938 _w(DLC) 2022052127 |
| 906 |
_a7 _bcbc _corignew _d1 _eecip _f20 _gy-gencatlg |
||
| 942 |
_2lcc _cBK _n0 |
||
| 999 |
_c3720 _d3720 |
||