INTRODUCTION TO DEPENDENT TYPES WITH IDRIS : encoding program proofs in types
Boro Sitnikovskiقیمت
تخفیف زماندار
۱۳٬۰۰۰ تومان تخفیف
۱۳٬۰۰۰ تومان ارزانتر از قیمت اصلی
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
مشخصات کتاب
- نویسنده
- Boro Sitnikovski
- ناشر
- Apress L. P.
- سال انتشار
- ۲۰۲۳
- فرمت
- EPUB
- زبان
- انگلیسی
- حجم فایل
- ۷۱۶٫۸ کیلوبایت
- شابک
- 9781484292587، 9781484292594، 1484292588، 1484292596
کتابهای مشابه
INTRODUCTION TO DEPENDENT TYPES WITH IDRIS : encoding program proofs in types
۴۹٬۰۰۰ تومان
Gentle Introduction to Dependent Types with Idris
۴۹٬۰۰۰ تومان
Certified programming with dependent types
۴۹٬۰۰۰ تومان
Type-driven Development with Idris
۴۹٬۰۰۰ تومان
Type-driven Development with Idris
۴۹٬۰۰۰ تومان
Type-driven development with Idris
۴۹٬۰۰۰ تومان
Type theory and formal proof : an introduction
۴۹٬۰۰۰ تومان
Type theory and formal proof : an introduction
۴۹٬۰۰۰ تومان
Type-driven Development with Idris
۴۹٬۰۰۰ تومان
Type theory and formal proof : an introduction
۴۹٬۰۰۰ تومان
Certified Programming with Dependent Types (draft 2015)
۴۹٬۰۰۰ تومان
Idris Unleashed: Type-Driven Development and Theorem Proving in Functional Programming
۴۹٬۰۰۰ تومان
قیمت نهایی
۳۶٬۰۰۰ تومان