| 000 | 00972nam a22002297a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20250326103222.0 | ||
| 008 | 250326b |||||||| |||| 00| 0 eng d | ||
| 020 | _a9780262048637 | ||
| 040 | _cFoundation University | ||
| 050 |
_a(CCS) QA267 _b2023 ES77 |
||
| 100 |
_aEsparza, Javier _dauthor _910384 |
||
| 245 |
_aAutomata theory : _ban algorithmic approach / _cJavier Esparza and Michael Blondin. |
||
| 250 | _aFifth Edition | ||
| 260 |
_aLondon : _bThe MIT Press ; _c2023. |
||
| 300 |
_axv, 539 pages : _billustrations ; _c23 cm |
||
| 504 | _aincludes bibliographical references and appendices. | ||
| 520 | _a"The book presents automata theory from a fresh viewpoint inspired by its main modern application: program verification"-- Provided by publisher. | ||
| 650 |
_aMachine theory. _92167 |
||
| 658 |
_aComputer Studies, College of. _bAutomata theory : an algorithmic approach. |
||
| 942 |
_2lcc _cBK _hQA267 _i2023 ES77 _k(CCS) _n0 |
||
| 999 |
_c4360 _d4360 |
||