Model checking and artificial intelligence : 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 : revised selected and invited papers
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2011
شابک
9783642206740
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران