خرید و دانلود نسخه کامل کتاب PHP Cookbook: Modern Code Solutions for Professional Developers
قیمت اصلی 55,500 تومان بود.38,000 تومانقیمت فعلی 38,000 تومان است.
خرید و دانلود نسخه کامل کتاب Microsoft Visual C# Step by Step
قیمت اصلی 59,500 تومان بود.42,000 تومانقیمت فعلی 42,000 تومان است.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
21ساعت
34دقیقه
21ثانیه
-37%
خرید و دانلود نسخه کامل کتاب Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
قیمت اصلی 47,500 تومان بود.30,000 تومانقیمت فعلی 30,000 تومان است.
تعداد فروش: 76
| عنوان فارسی |
مقدمه ای بر انواع وابسته با ادریس: رمزگذاری اثبات های برنامه در انواع |
|---|---|
| عنوان اصلی | Introduction to Dependent Types with Idris: Encoding Program Proofs in Types |
| ویرایش | 1 |
| ناشر | Apress |
| نویسنده | Boro Sitnikovski |
| ISBN | 1484292588, 9781484292594 |
| سال نشر | 2023 |
| زبان | English |
| تعداد صفحات | 128 |
| دسته | برنامه نویسی: زبان های برنامه نویسی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 6 مگابایت |
1
آیتم فروخته شده در 30 دقیقه
5
نفر در حال مشاهده این محصول هستند!
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.