دانلود کتاب Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 – April 1, 2006. Proceedings

49,000 تومان
نرم افزار بررسی مدل: سیزدهمین کارگاه بین المللی SPIN، وین، اتریش، 30 مارس - 1 آوریل 2006. مجموعه مقالات
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 308
حجم فایل 3 مگابایت
کد کتاب 3540331026,9783540331025
نوبت چاپ 1