Model Checking and Artificial Intelligence

Name: Model Checking and Artificial Intelligence: 5th International Workshop
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
SKU: 9783642004308
Price: 3916.00 INR
Availability: InStock

5th International Workshop

by MoChArt 2008 (2008 Patrai, Greece)

Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2009

₹3,916

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Model Checking and Artificial Intelligence: 5th International Workshop is written by Greece) MoChArt 2008 (2008 Patrai. This edition from Springer-Verlag Berlin and Heidelberg GmbH & Co. K (2009) has 189 pages. It belongs to the Lecture notes in computer science series.

The book deals with Künstliche Intelligenz, Model Checking, Congresses and Verification. Places discussed include Patras <2008>.