دانلود کتاب Certified programming with dependent types – برنامه نویسی تایید شده با انواع وابسته

دسته بندی :
اطلاعات کتاب
  • جلد
  • سری
  • ویرایش web draft
  • سال 2016
  • نویسنده (گان) Chlipala A
  • ناشر
  • زبان English
  • تعداد صفحات 369
  • حجم فایل 1.57MB
  • فرمت فایل pdf
  • شابک
قیمت محصول :

45,000 تومان

با خرید این محصول، 2,250 تومان به کیف پول شما بازگشت داده می‌شود

روند خرید و دریافت کتاب‌ها بدون هیچ اختلالی انجام می‌شود.
تمامی فایل‌ها بر روی سرورهای داخلی میزبانی می‌شوند تا بتوانید به راحتی و در لحظه آن‌ها را دانلود کنید. در صورت بروز هرگونه مشکل یا نیاز به راهنمایی، لطفاً از طریق « صفحه تماس باما» با تیم پشتیبانی در ارتباط باشید.

تمامی کتاب های موجود در وبسایت سای وان به زبان انگلیسی میباشد

توضیحات

N

————————————————————–

ترجمه ماشینی :

N


 

tag : دانلود کتاب برنامه نویسی تایید شده با انواع وابسته , Download برنامه نویسی تایید شده با انواع وابسته , دانلود برنامه نویسی تایید شده با انواع وابسته , Download Certified programming with dependent types Book , برنامه نویسی تایید شده با انواع وابسته دانلود , buy برنامه نویسی تایید شده با انواع وابسته , خرید کتاب برنامه نویسی تایید شده با انواع وابسته , دانلود کتاب Certified programming with dependent types , کتاب Certified programming with dependent types , دانلود Certified programming with dependent types , خرید Certified programming with dependent types , خرید کتاب Certified programming with dependent types ,

نقد و بررسی‌ها

هنوز بررسی‌ای ثبت نشده است.

اولین کسی باشید که دیدگاهی می نویسد “دانلود کتاب Certified programming with dependent types – برنامه نویسی تایید شده با انواع وابسته”