Automata Theory
Autor: | Blondin, Michael Esparza, Javier |
---|---|
EAN: | 9780262048637 |
Sachgruppe: | Informatik, EDV |
Sprache: | Englisch |
Seitenzahl: | 560 |
Produktart: | Gebunden |
Veröffentlichungsdatum: | 17.10.2023 |
Untertitel: | An Algorithmic Approach |
98,00 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
"The book presents automata theory from a fresh viewpoint inspired by its main modern application: program verification"--