Challenges for Action Theories (English, Michael Thielscher)
Delivery options
₹5,451
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,451
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540674559
ISBN-10
3540674551
Author
Michael Thielscher
About the Book
A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming and hardware design and, consequently, logic, again and again, has been heralded as the basis for the next generation of computer systems. While logic and formal methods are indeed gaining ground in many areas of computer science and artificial intelligence the expected revol…
ISBN: 9783540674559
ISBN-13: 9783540674559
ISBN-10: 3540674551
Frequently Asked Questions
What is the price of Challenges for Action Theories?
Challenges for Action Theories starts from ₹5451 at GlowMirror. Available in Paperback.
Who is the author of Challenges for Action Theories?
Michael Thielscher is the author of Challenges for Action Theories. Browse more books by Michael Thielscher on GlowMirror.
Is Challenges for Action Theories available in Paperback and Hardcover?
Yes, Challenges for Action Theories is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Challenges for Action Theories?
Yes, GlowMirror offers free delivery for Challenges for Action Theories across India. No minimum order value required.
Is Cash on Delivery available for Challenges for Action Theories?
Yes, Cash on Delivery (COD) is available for Challenges for Action Theories on GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783540674559
🛒 Customers Also Bought
The Dynastinae of the World (English, S. Endrödi)
₹38,485
Uncertainty Analysis for Engineers and Scientists (English, Faith A. Morrison)
₹5,273
Introduction to Lattice Dynamics (English, Martin T. Dove | Andrew Putnis | Robert C. Liebermann)
₹16,957
Sieve Methods, Exponential Sums, and Their Applications in Number Theory (English, G. R. H. Greaves | G. R. H. Greaves | G. Harman)
₹8,014
Mechanik Der Gase (English, Dieter Richter)
₹3,340
A-Z of Musculoskeletal and Trauma Radiology (English, James R. D. Murray | Erskine J. Holmes | Rakesh R. Misra)
₹14,903Related Products
Screen- Und Interfacedesign (English, Torsten Stapelkamp)
₹4,380
The Practice of Electrocardiography (English, Thomas M. Blake)
₹5,612
Levi-Strauss, Anthropology, and Aesthetics (English, Boris Wiseman)
₹4,414
Elements of Algebraic Coding Theory (English, Vermani L.R.)
₹10,213
Algebraic Varieties (English, George R. Kempf)
₹4,564