-37% OFFAutomata, Logics, and Infinite Games (English, Erich Grädel | Wolfgang Thomas | Thomas Wilke)
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540003885 |
| ISBN-10 | 3540003886 |
| Author | Erich Grädel | Wolfgang Thomas | Thomas Wilke |
Product Description
Here on GlowMirror, you'll find Automata, Logics, and Infinite Games filed under Springer -- everything you need to know is covered below.
About the Book
A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construction of reactive programs, like communication protocols or control systems. For the construction and analysis of reactive systems an elegant and powerful theory has been developed based on automata theory, logi…
ISBN: 9783540003885
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Automata, Logics, and Infinite Games
- ·Key concepts explained with clarity and practical examples
- ·Insights valuable for anyone studying or working in Springer
Who Should Read This
Students and professionals interested in Springer, as well as general readers looking to expand their knowledge.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy





