Le livre est actuellement en rupture de stock
En savoir plus sur le livre
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.
Achat du livre
Automata Theory, Javier Esparza, Michael Blondin
- Langue
- Année de publication
- 2023
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .