Overview
The book, Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers (Lecture Notes in Computer Science #4428) [Bulk, Wholesale, Quantity] ISBN#9783540741275 in Paperback by may be ordered in bulk quantities. Minimum starts at 25 copies. Availability based on publisher status and quantity being ordered.Details