دانلود کتاب Certified programming with dependent types
کتاب برنامه نویسی تایید شده با انواع وابسته نسخه زبان اصلی
دانلود کتاب برنامه نویسی تایید شده با انواع وابسته بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Certified programming with dependent types
نام کتاب : Certified programming with dependent types
ویرایش : web draft
عنوان ترجمه شده به فارسی : برنامه نویسی تایید شده با انواع وابسته
سری :
نویسندگان : Chlipala A
ناشر :
سال نشر : 2016
تعداد صفحات : 369
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی