اگر فایل یا کتابی رو که میخواهید توی سایت نیست روی " پیشنهاد فایل " کلیک کنید.
خرید و دانلود نسخه کامل کتاب PHP Cookbook: Modern Code Solutions for Professional Developers
قیمت اصلی 111,000 تومان بود.76,000 تومانقیمت فعلی 76,000 تومان است.
خرید و دانلود نسخه کامل کتاب Microsoft Visual C# Step by Step
قیمت اصلی 119,000 تومان بود.84,000 تومانقیمت فعلی 84,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در میکی بوک، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
06ساعت
08دقیقه
35ثانیه
-37%
خرید و دانلود نسخه کامل کتاب Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
قیمت اصلی 95,000 تومان بود.60,000 تومانقیمت فعلی 60,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 دقیقه
3
نفر در حال مشاهده این محصول هستند!
محصولات مرتبط
-21%
خرید و دانلود نسخه کامل کتاب Django 5 By Example: Build powerful and reliable Python web applications from scratch – Pdf
قیمت اصلی 169,000 تومان بود.134,000 تومانقیمت فعلی 134,000 تومان است.
-21%
خرید و دانلود نسخه کامل کتاب Server-Driven Web Apps with htmx: Any Language, Less Code, Simpler Code – Pdf
قیمت اصلی 169,000 تومان بود.134,000 تومانقیمت فعلی 134,000 تومان است.
-5%
خرید و دانلود نسخه کامل کتاب حل مسائل پاسکال (مرجع کامل) اثر رمضان عباس نژادورزی و رضا مقصودلو
قیمت اصلی 61,000 تومان بود.58,000 تومانقیمت فعلی 58,000 تومان است.
-17%
خرید و دانلود پایان نامه پیش بینی کدهای SNI از توصیفات شرکت
قیمت اصلی 1,040,000 تومان بود.860,000 تومانقیمت فعلی 860,000 تومان است.
-40%
خرید و دانلود نسخه کامل کتاب یادگیری ماشینی، سفری به اعماق هوشمندی
قیمت اصلی 60,000 تومان بود.36,000 تومانقیمت فعلی 36,000 تومان است.
-9%
خرید و دانلود نسخه کامل کتاب حفاظت دیجیتال سیستم قدرت
قیمت اصلی 86,000 تومان بود.78,000 تومانقیمت فعلی 78,000 تومان است.
-5%
خرید و دانلود نسخه کامل کتاب مهندسی نرم افزار شی گرا؛ جلد اول اثر دیوید سی کونگ
قیمت اصلی 196,000 تومان بود.186,000 تومانقیمت فعلی 186,000 تومان است.
-51%
نقد و بررسیها
هنوز بررسیای ثبت نشده است.