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:
Buy Model Checking and Artificial Intelligence for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Indigeneity, Globalization, and African Literature
$54.99
Reform and the Non-State Economy in China
$39.99
Cassidy Blake: City of Ghosts
$6.74
Gesellschaftssteuerung und gesellschaftliche Selbststeuerung
$39.99
Towards a Circular Economy
$179.99
Teleneurology by Internet and Telephone
$109.99
One Hundred Years of Solitude by Gabriel Garcia Marquez
$18.99
Struggle for the Soul of the French Novel
$54.99
The Hidden Barriers and Enablers of Team-Based Ideation
$49.99
Innovative Kooperationsnetzwerke
$79.99
Gitoformat ein nicht-nierenpflichtiges Digitalisglykosid
$44.99
Geodynamics of the Western Pacific
$169.99
Sex Work, Labour and Relations
$139.99
Fallsammlung zum Sachenrecht
$19.99
Principal Bundles
$79.99
Heme Oxygenase in Biology and Medicine
$219.99
Cell Biology and Pathology of Myelin
$39.99
Corporatizing Rural Education
$19.99
The Cuno Government and Reparations 19221923
$169.99
Proceedings of MPCPE 2021
$129.00
Interaction of Ultrashort Electromagnetic Pulses with Matter
$54.99
Active Media Technology
$54.99
Photochemische und thermische Umwandlungen einiger Colchicum-Alkaloide und ihrer Lumiverbindungen
$59.99
Die wunderbare Hndigkeit der Molekle
$44.99
Exotic Nuclear Spectroscopy
$39.99
Language in Focus: Foundations, Methods and Systems
$169.99
Wiedergeborene Freiheit
$44.99
Crowdsourcing
$109.99
Histone Deacetylase Inhibitors in Combinatorial Anticancer Therapy
$169.99
Apocalyptic Movements in Contemporary Politics
$109.99
The Origin of Structure in the Universe
$129.00
Lifelong Learning for Poverty Eradication
$39.99
Internet of Things, Artificial Intelligence and Blockchain Technology
$199.99
Analytical Chemistry
$89.00
Husserl und Kant
$179.00
Interferometry by Holography
$84.99
Strategic Innovative Marketing and Tourism
$379.99
Control of Magnetotransport in Quantum Billiards
$44.99
Upper Abdominal Surgery
$109.99
Structural Interfaces and Attachments in Biology
$169.99
