دانلود کتاب Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
بررسی مدل و هوش مصنوعی: چهارمین کارگاه آموزشی ، MoChArt IV ، ریوا دل گاردا ، ایتالیا ، 29 آگوست 2006 ، مقاله های برگزیده و دعوت شده اصلاح شده
زبان : English
نویسندگان : Piergiorgio Bertoli, Marco Bozzano (auth.), Stefan Edelkamp, Alessio Lomuscio (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2007
ISBN (شابک) : 3540741275, 9783540741275
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 4428
تعداد صفحات : 185[192]
حجم : 2 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان