Programming-Based Formal Languages and Automata Theory. - Design, Implement, Validate, and Prove
- Författare
- Marco T. Morazán
- (Marco T. Morazán.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2024 | Schweiz, Cham, Switzerland | 1 online resource (530 pages) | 978-3-031-43973-5 |