برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Certified Programming with Dependent Types (draft 2015)

دانلود کتاب برنامه نویسی معتبر با انواع وابسته (پیش نویس 2015)

مشخصات کتاب

Certified Programming with Dependent Types (draft 2015)

دسته بندی: برنامه نويسي
ویرایش:  
نویسندگان: Adam Chlipala  
سری:  
 
ناشر:  
سال نشر: 0 
تعداد صفحات: 369 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 37,000

کلمات کلیدی مربوط به کتاب برنامه نویسی معتبر با انواع وابسته (پیش نویس 2015): coq، تایید، انواع وابسته، اثبات قضیه خودکار، منطق

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 7

در صورت تبدیل فایل کتاب Certified Programming with Dependent Types (draft 2015) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب برنامه نویسی معتبر با انواع وابسته (پیش نویس 2015) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.