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
Vademecum Labormedizin (English, H. -U Koch | Michael Pietsch | Helge Riegel)
₹4,965
Freundlichkeit Im Schulalltag (English, Gisela Steins)
₹2,779
Elementi Di Probabilità E Statistica (English, F. Biagini | M. Campanino)
₹2,869
Das Dritte Dogma Des Empirismus Das ABC Der Modernen Logik Und Semantik Der Begriff Der Erklärung Un (English, Wolfgang Stegmüller)
₹1,791
Tipps Und Tricks Für Den Herz- Und Thoraxchirurgen (English, D. Stockhausen | Christof Schmid)
₹1,208
Kompendium Der Immunologie (English, Miroslav Ferencik | Jozef Rovensky | Vladimir Matha)
₹4,601Related Products
Lagerungshilfsmittel in Der Krankenpflege (English, Julianna Savanov)
₹4,920
Ökonomie Der Abwasserbeseitigung (English, Thomas Sander)
₹4,530
Emotionale Kompetenz Im Lehrberuf (English, Christof Kuhbandner | Iris Schelhorn)
₹3,143
HIV Und AIDS (English, Hiv-Arbeitskreis Süd-West)
₹5,694
Der Angeborene Herzfehler (English, Mayer | Graf | Baumann)
₹3,143