“خرید و دانلود نسخه کامل کتاب سیستم‌های میکروپروسسوری ۱۶ و ۳۲ بیتی اثر احمد معتمدی” به سبد خرید شما اضافه شد. مشاهده سبد خرید

فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش

00روز

09ساعت

28دقیقه

42ثانیه

-37%

خرید و دانلود نسخه کامل کتاب Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

قیمت اصلی 47,500 تومان بود.قیمت فعلی 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 دقیقه

3 نفر در حال مشاهده این محصول هستند!

توضیحات

آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.

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

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

اولین کسی باشید که دیدگاهی می نویسد “خرید و دانلود نسخه کامل کتاب Introduction to Dependent Types with Idris: Encoding Program Proofs in Types”