نمایش سایدبار
نمایش 12 24 36 همه
PDF

دانلود کتاب Adapting proofs-as-programs

49,000 تومان
انطباق اثبات-به عنوان-برنامه
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 430
حجم فایل 2 مگابایت
کد کتاب 9781441920140,1441920145
نوبت چاپ پیش نویس وب
افزودن به سبد خرید
PDF

دانلود کتاب Adapting Proofs-as-Programs : The Curry-Howard Protocol

49,000 تومان
تطبیق مدارک به عنوان برنامه: پروتکل کری هاوارد
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 417
حجم فایل 2 مگابایت
کد کتاب 0387237593,9780387281834,9780387237596
نوبت چاپ 1
افزودن به سبد خرید
PDF

دانلود کتاب Adapting Proofs-as-Programs: The Curry-Howard Protocol

49,000 تومان
تطبیق مدارک به عنوان برنامه: پروتکل کری هاوارد
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 416
حجم فایل 5 مگابایت
کد کتاب 9780387237596,0387237593
افزودن به سبد خرید