| 000 | 00396nam a22001337a 4500 | ||
|---|---|---|---|
| 020 | _a9783031439728 | ||
| 082 |
_aQA76.7 .M67 2024 _b2 |
||
| 100 | _aMARCO T. MORAZAN | ||
| 245 |
_aPROGRAMMING-BASED FORMAL LANGUAGES AND AUTOMATA THEORY _bDESIGN, IMPLEMENT, VALIDATE, AND PROVE |
||
| 264 |
_aSWITZERLAND _bSPRINGER _c2024 |
||
| 300 | _axxiii, 524p.; | ||
| 650 | 0 | _aCOMPUTER SCIENCE | |
| 942 |
_2lcc _cBK |
||
| 999 |
_c16709 _d16709 |
||