Kniha momentálne nie je na sklade
Viac o knihe
Focusing on program verification, this book offers a contemporary perspective on automata theory. It explores how the principles of automata can be applied to ensure the correctness of computer programs, making complex concepts accessible and relevant for modern applications. The approach emphasizes practical implications, bridging theoretical foundations with real-world challenges in software development.
Nákup knihy
Automata Theory, Javier Esparza, Michael Blondin
- Jazyk
- Rok vydania
- 2023
- product-detail.submit-box.info.binding
- (pevná)
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Automata Theory
- Podtitul
- An Algorithmic Approach
- Jazyk
- anglicky
- Autori
- Javier Esparza, Michael Blondin
- Vydavateľ
- MIT Press Ltd
- Rok vydania
- 2023
- Väzba
- pevná
- Počet strán
- 560
- ISBN13
- 9780262048637
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- Focusing on program verification, this book offers a contemporary perspective on automata theory. It explores how the principles of automata can be applied to ensure the correctness of computer programs, making complex concepts accessible and relevant for modern applications. The approach emphasizes practical implications, bridging theoretical foundations with real-world challenges in software development.