Certified Programming with Dependent Types (draft 2015)
Adam Chlipalaقیمت
تخفیف زماندار
۱۳٬۰۰۰ تومان تخفیف
۱۳٬۰۰۰ تومان ارزانتر از قیمت اصلی
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
مشخصات کتاب
- نویسنده
- Adam Chlipala
- ناشر
- 0
- فرمت
- زبان
- انگلیسی
- حجم فایل
- ۱٫۸ مگابایت
کتابهای مشابه
Certified programming with dependent types
۴۹٬۰۰۰ تومان
INTRODUCTION TO DEPENDENT TYPES WITH IDRIS : encoding program proofs in types
۴۹٬۰۰۰ تومان
INTRODUCTION TO DEPENDENT TYPES WITH IDRIS : encoding program proofs in types
۴۹٬۰۰۰ تومان
Types of Ā-dependencies
۴۹٬۰۰۰ تومان
Typeful programming
۴۹٬۰۰۰ تومان
Gentle Introduction to Dependent Types with Idris
۴۹٬۰۰۰ تومان
Functional Programming in Clean [Draft]
۴۹٬۰۰۰ تومان
Program Logics for Certified Compilers
۴۹٬۰۰۰ تومان
Deep Learning [draft of March 30, 2015]
۴۹٬۰۰۰ تومان
Thinking with types: type-level programming in Haskell
۴۹٬۰۰۰ تومان
Thinking with Types : Type-level Programming in Haskell
۴۹٬۰۰۰ تومان
2015 ICD-10-PCS Draft Edition
۴۹٬۰۰۰ تومان
قیمت نهایی
۳۶٬۰۰۰ تومان