Automata theory an algorithmic approach
"The book presents automata theory from a fresh viewpoint inspired by its main modern application: program verification"--
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Massachusetts ; London, England
The MIT Press
[2023]
|
| Schlagworte: | |
| Online-Zugang: | kostenfrei |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | "The book presents automata theory from a fresh viewpoint inspired by its main modern application: program verification"-- |
|---|---|
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | 1 Online-Ressource Illustrationen, Diagramme |
| ISBN: | 9780262376938 9780262376945 |