{{item.title}} {{item.subtitle}}
{{item.total|number}} تومان
حذف
ثبت و نهایی کردن سفارش
سبد خرید شما خالی است.
ورود ثبت‌نام
  1. Home
  2. فهرست محصولات
  3. Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
اگر کتابی را در وبسایت نیافتید، جهت سفارش آن کلیک کنید

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

Boro Sitnikovski, 1484292588, 9781484292587, 9781484292594

300,000 تومان
محصول مورد نظر موجود نمی‌باشد.
تعداد
نوع
  • {{value}}
کمی صبر کنید...
زمان تحویل لینک های دانلود: دانلود فوری و یا حداکثر 24 ساعت

English | 2023 | PDF

کارت اعتباری زمستان با 3,000,000 تومان اعتبار دانلود! جهت توضیحات بیشتر کلیک کنید