۰ از ۵
از میانگین ۰ نظر دهنده

دانلود کتاب Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings – نرم...

هیچ فروشگاهی با فیلترهای منتخب شما وجود ندارد.
پیشنهاد می‌کنیم فیلترها را تغییر دهید
سای وان
گلستان بدون امتیاز
۱ سال گزارش

دانلود کتاب Model Checking Software: 20th International Symp...

وضعیت: ناموجود گزارش
بروزشده در ۲۴ روز پیش
مشاهده پیشنهاد
بروزشده در ۲۴ روز پیش

پیشنهاد ویژه فروشندگان

مشخصات فنی

مشخصات فنی دانلود کتاب Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings – نرم...
مشخصات
تعداد صفحات mb8.47
جلد Lecture Notes in Computer Science 7976 Theoretical Computer Science and General Issues
زبان English
سال 2013
فرمت فایل pdf
ناشر Springer-Verlag Berlin Heidelberg
نویسنده (گان) Dirk Beyer, Philipp Wendler (auth.), Ezio Bartocci, C. R. Ramakrishnan (eds.)
ویرایش 1
مشاهده بیشتر
نظرات کاربران
هیچ نظری ثبت نشده است.

محصولات مشابه

جدیدترین‌های محتوای آموزشی استونی
جستجو دسته‌بندی‌ها کالای‌پیشنهادی ورود/ثبت‌نام