Type-driven development with Idris
Manning Publications.; Brady, Edwinقیمت
تخفیف زماندار
۱۳٬۰۰۰ تومان تخفیف
۱۳٬۰۰۰ تومان ارزانتر از قیمت اصلی
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
مشخصات کتاب
- سال انتشار
- ۲۰۱۷
- فرمت
- زبان
- انگلیسی
- حجم فایل
- ۳٫۷ مگابایت
کتابهای مشابه
Type-driven Development with Idris
۴۹٬۰۰۰ تومان
Type-driven Development with Idris
۴۹٬۰۰۰ تومان
Type-driven Development with Idris
۴۹٬۰۰۰ تومان
Idris Unleashed: Type-Driven Development and Theorem Proving in Functional Programming
۴۹٬۰۰۰ تومان
Gentle Introduction to Dependent Types with Idris
۴۹٬۰۰۰ تومان
INTRODUCTION TO DEPENDENT TYPES WITH IDRIS : encoding program proofs in types
۴۹٬۰۰۰ تومان
INTRODUCTION TO DEPENDENT TYPES WITH IDRIS : encoding program proofs in types
۴۹٬۰۰۰ تومان
The Healing of Idrys
۴۹٬۰۰۰ تومان
The Healing of Idrys
۴۹٬۰۰۰ تومان
The Healing of Idrys
۴۹٬۰۰۰ تومان
Learn Type-Driven Development : Benefit From Type Systems to Build Reliable and Safe Applications Using ReasonML 3
۴۹٬۰۰۰ تومان
A Tale Of Cader Idris
۴۹٬۰۰۰ تومان
قیمت نهایی
۳۶٬۰۰۰ تومان