دانلود کتاب Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings

49,000 تومان
نرم افزار بررسی مدل: چهاردهمین کارگاه بین المللی SPIN، برلین، آلمان، 1-3 ژوئیه، 2007. مجموعه مقالات
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 285
حجم فایل 3 مگابایت
کد کتاب 3540733698,9783540733690
نوبت چاپ 1