Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers

ISBN

9783642004308

$99.00

Format	Paperback
Details	Status:Active Record Product Type:Individual Title Volumes in Set:1 vol. Copyright Year:2009 Number of Pages:vii, 189 Illustrated:Yes Series Volume Number:5348 LC Classification Number:QA75.5-76.95