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

دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

کالاهای مشابه

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

مشخصات فنی

مشخصات فنی دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
مشخصات
تعداد صفحه 180
حجم فایل 4.55 مگابایت
زبان انگلیسی
سال انتشار 2007
فرمت PDF
کد کتاب 9811507767 , 9789811507762
موضوع اصلی کامپیوترها
ناشر Springer Singapore
نوبت چاپ ویرایش اول. 2020
نوع کالا کتاب الکترونیکی
نویسنده Andreas Podelski (eds.) , Byron Cook , Gogul Balakrishnan , Thomas Reps (auth.)
مشاهده بیشتر
نظرات کاربران
هیچ نظری ثبت نشده است.

کالاهای مشابه

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