Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Model Checking and Artificial Intelligence
Best Price (Coupon Required):
Buy Model Checking and Artificial Intelligence for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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 papers are general search algorithms, application of AI techniques to automated program verification, multiagent systems and epistemic logic, abstraction, epistemic model checking, and theory of model checking.
Reviews
Questions & Answers
Praxis Internationaler Organisationen - Vertragswandel und vlkerrechtlicher Ordnungsrahmen
$99.99
Properties, Types and Meaning
$169.99
My Travels with Mrs. Kennedy by Clint Hill
$35.00
Mathematics and Computer Science II
$84.99
Mode 3 Knowledge Production in Quadruple Helix Innovation Systems
$54.99
Rock and Roll Fantasy?
$49.95
Quest for World-Class Teacher Education?
$39.99
Convex Cones
$54.99
The Rhenish Massif
$54.99
Troubleshooting Xcode
$14.99
Mehr als eine Ressource - die soziale Bedeutung lokaler Saatgutsysteme und des Saatgutaustausches im
$59.99
Elementary Particles and Their Interactions
$109.99
The Methane Age
$169.99
Clinical Handbook of Behavioral Sleep Treatment in Children on the Autism Spectrum
$329.99
HL7 for BizTalk
$84.99
The Architecture of Scientific Software
$169.00
DSP for MATLAB and LabVIEW II
$37.33
Federkrieger
$74.99
Intellectual Property and Financing Strategies for Technology Startups
$169.99
Oberflchenphysik des Festkrpers
$49.99
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
$54.99
Clinical Guide to Musculoskeletal Medicine
$99.00
Intergroup Accommodation in Plural Societies
$39.99
Soft Computing for Risk Evaluation and Management
$169.99
Visual Imagery and Human Rights Practice
$89.00
Technische Informatik 2
$59.99
ber das Kropfproblem
$54.99
Erste Hilfe - Chemie und Physik fr Mediziner
$44.99
Variationen des Stdtischen Variationen lokaler Politik
$59.99
Management of Severe Traumatic Brain Injury
$199.99
Entrepreneurship and Regional Development
$109.99
Arbeit, Arbeitsmarkt und Betriebe
$59.99
The Confucian Misgivings--Liang Shu-mings Narrative About Law
$109.99
Flchenorientierte Steuerdatenaufbereitung fr das fnfachsige Frsen
$84.99
Prostacyclin and Hypertension
$54.99
The Unofficial Ultimate Harry Potter Spellbook: A Complete Reference Guide to Every Spell in the Wizarding World by Media Lab Books
$14.99
Radical Solutions and Open Science
$59.99
Suizidgefhrdung und Suizidprvention bei lteren Menschen
$64.99
Beginning Power BI
$39.99
Proceedings of Conference on Sustainable Traffic and Transportation Engineering in 2023
$59.99
