Reasoning about Functional Programs - Sparkle: a Proof Assistant for Clean
Maarten de Molقیمت
تخفیف زماندار
۱۳٬۰۰۰ تومان تخفیف
۱۳٬۰۰۰ تومان ارزانتر از قیمت اصلی
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
مشخصات کتاب
- نویسنده
- Maarten de Mol
- ناشر
- IPA
- سال انتشار
- ۲۰۰۹
- فرمت
- زبان
- انگلیسی
- حجم فایل
- ۲٫۱ مگابایت
کتابهای مشابه
![Functional Programming in Clean [Draft]](/images/placeholders/book-cover-placeholder.svg)
Functional Programming in Clean [Draft]
۳۶٬۰۰۰ تومان
Reasoning about complex elementary functions
۳۶٬۰۰۰ تومان
Clean This!: 300 Reasons to Stop Cleaning
۳۶٬۰۰۰ تومان
Reasoning About Program Transformations : Imperative Programming and Flow of Data
۳۶٬۰۰۰ تومان
Reasoning About Program Transformations : Imperative Programming and Flow of Data
۳۶٬۰۰۰ تومان
Reasoning About Program Transformations : Imperative Programming and Flow of Data
۳۶٬۰۰۰ تومان
Reasoning About Program Transformations : Imperative Programming and Flow of Data
۳۶٬۰۰۰ تومان
Program Proofs
۳۶٬۰۰۰ تومان
Program = Proof
۳۶٬۰۰۰ تومان
Program Proofs
۳۶٬۰۰۰ تومان
Program Proofs
۳۶٬۰۰۰ تومان
The Function of Reason
۳۶٬۰۰۰ تومان
قیمت نهایی
۳۶٬۰۰۰ تومان