Automata, Logics, and Infinite Games (English, Erich Grädel | Wolfgang Thomas | Thomas Wilke)
by Erich Grädel | Wolfgang Thomas | Thomas Wilke
Delivery options
₹7,797
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹7,797
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540003885
ISBN-10
3540003886
Author
Erich Grädel | Wolfgang Thomas | Thomas Wilke
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
ISBN-13: 9783540003885
ISBN-10: 3540003886
Frequently Asked Questions
What is the price of Automata, Logics, and Infinite Games?
Automata, Logics, and Infinite Games starts from ₹7797 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Automata, Logics, and Infinite Games?
Erich Grädel | Wolfgang Thomas | Thomas Wilke is the author of Automata, Logics, and Infinite Games. Browse more books by Erich Grädel | Wolfgang Thomas | Thomas Wilke on BookBajar.
Is Automata, Logics, and Infinite Games available in Paperback and Hardcover?
Yes, Automata, Logics, and Infinite Games is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Automata, Logics, and Infinite Games?
Yes, BookBajar offers free delivery for Automata, Logics, and Infinite Games across India. No minimum order value required.
Is Cash on Delivery available for Automata, Logics, and Infinite Games?
Yes, Cash on Delivery (COD) is available for Automata, Logics, and Infinite Games on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540003885
🛒 Customers Also Bought
Zivilprozeßrecht (English, Hermann Fenger)
₹1,914
Automatisierte Überwachungsverfahren Für Fertigungseinrichtungen Mit Speicherprogrammierten Steuerun (English, W. Eissler)
₹4,186
Internetworking (English, Christoph Meinel | Harald Sack)
₹7,095
Weberei (English, Josef Schneider)
₹5,372
Einführung in Die Rechtsinformatik (English, Elmar Bund)
₹5,662
Qualitätsregelung in Der Fertigung (English, Wolfgang Dutschke)
₹4,207Related Products
Problem-Solving Methods in Combinatorics (English, Pablo Soberón)
₹4,211
Introduction to Dynamics of Structures and Earthquake Engineering- (45) (English, Cimellaro)
₹5,572
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
Fishes of the Dakotas (English, Kathryn E. Schlafke | Matthew D. Wagner | Chelsey A. Pasbrig)
₹3,883
Analysis III (English, Godement)
₹2,495