Type-driven Development with Idris
Edwin Bradyقیمت
تخفیف زماندار
۱۳٬۰۰۰ تومان تخفیف
۱۳٬۰۰۰ تومان ارزانتر از قیمت اصلی
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
مشخصات کتاب
- نویسنده
- Edwin Brady
- سال انتشار
- ۲۰۱۷
- فرمت
- زبان
- انگلیسی
- حجم فایل
- ۵٫۱ مگابایت
- شابک
- 9781617293023، 9781638352242، 1617293024، 1638352240
کتابهای مشابه
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
۴۹٬۰۰۰ تومان
قیمت نهایی
۳۶٬۰۰۰ تومان