search for books and compare prices
Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
By Ron Van Der Meyden; Jan-Georg Smaus
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Sort options: binding | publication date | edition
Paperback
Book cover for 9783642206733
 
from Springer-Verlag New York Inc (June 28, 2011)
9783642206733 | details & prices | 129 pages | 6.00 × 9.25 × 0.25 in. | 0.45 lbs | List price $89.99