
Model Checking and Artificial Intelligence (English, Ron Van Der Meyden | Jan-Georg Smaus)
by Ron Van Der Meyden | Jan-Georg Smaus
Delivery options
₹5,449
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,449
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642206733
ISBN-10
3642206735
Author
Ron Van Der Meyden | Jan-Georg Smaus
About the Book
This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as papers contributed subsequent to the workshop. The 7 papers presented were carefully reviewed and selected for inclusion in this book. In addition, the book also contains an extended abstract of the invited talk held at the workshop. The topics covered by these…
ISBN: 9783642206733
ISBN-13: 9783642206733
ISBN-10: 3642206735
Frequently Asked Questions
What is the price of Model Checking and Artificial Intelligence?
Model Checking and Artificial Intelligence starts from ₹5449 at GlowMirror. Available in Paperback.
Who is the author of Model Checking and Artificial Intelligence?
Ron Van Der Meyden | Jan-Georg Smaus is the author of Model Checking and Artificial Intelligence. Browse more books by Ron Van Der Meyden | Jan-Georg Smaus on GlowMirror.
Is Model Checking and Artificial Intelligence available in Paperback and Hardcover?
Yes, Model Checking and Artificial Intelligence is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Model Checking and Artificial Intelligence?
Yes, GlowMirror offers free delivery for Model Checking and Artificial Intelligence across India. No minimum order value required.
Is Cash on Delivery available for Model Checking and Artificial Intelligence?
Yes, Cash on Delivery (COD) is available for Model Checking and Artificial Intelligence on GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783642206733
🛒 Customers Also Bought

Phylogenetische Systematik (English, Bernhard Wiesemüller | Hartmut Rothe | Winfried Henke)
₹3,143
Kraftfahrzeugemissionen Und Ozonbildung (English, Nicolas Moussiopoulos | Wolfgang Oehler | Klaus Zellner)
₹3,508
Festigkeitslehre (English, Rudolf Stark)
₹4,374
Algebraic Varieties (English, George R. Kempf)
₹4,564
Rauschen (English, Rudolf Müller)
₹5,118
Spektrum Der Zwangsstörungen (English, Gerhard Lenz | Ulrike Demal | Michael Bach)
₹5,330Related Products

Annegamento Soccorso Tecnico E Sanitario (English, Elvia Battaglia | Alessio Baghin)
₹5,579
Die Maske Der Scham (English, Leon Wurmser | A. Haynal)
₹5,330
Klinische Hypnose (English, Dirk Revenstorf)
₹4,965
Almost Periodic Oscillations and Waves (English, Constantin Corduneanu)
₹5,638
Die Constitution Der Materie (English, Heinrich Hertz | Albrecht Fölsing)
₹4,601