Program = Proof
Samuel Mimramقیمت
تخفیف زماندار
۱۳٬۰۰۰ تومان تخفیف
۱۳٬۰۰۰ تومان ارزانتر از قیمت اصلی
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
مشخصات کتاب
- نویسنده
- Samuel Mimram
- سال انتشار
- ۲۰۲۰
- فرمت
- زبان
- انگلیسی
- حجم فایل
- ۲٫۴ مگابایت
- شابک
- 9788615591830، 9798615591839، 8615591830
کتابهای مشابه
Program Proofs
۴۹٬۰۰۰ تومان
Program Proofs
۴۹٬۰۰۰ تومان
Program Proofs
۴۹٬۰۰۰ تومان
Formal Development of Programs and Proofs
۴۹٬۰۰۰ تومان
Ruby Programming: Building Future-proof Scalable Applications
۴۹٬۰۰۰ تومان
Termination Proofs For Logic Programs (lecture Notes In Computer Science)
۴۹٬۰۰۰ تومان
INTRODUCTION TO DEPENDENT TYPES WITH IDRIS : encoding program proofs in types
۴۹٬۰۰۰ تومان
Termination Proofs For Logic Programs (lecture Notes In Computer Science)
۴۹٬۰۰۰ تومان
INTRODUCTION TO DEPENDENT TYPES WITH IDRIS : encoding program proofs in types
۴۹٬۰۰۰ تومان
Reasoning about Functional Programs - Sparkle: a Proof Assistant for Clean
۴۹٬۰۰۰ تومان
Proof
۴۹٬۰۰۰ تومان
Proof
۴۹٬۰۰۰ تومان
قیمت نهایی
۳۶٬۰۰۰ تومان