Program Proofs
K. Rustan M. Leino, Kaleb Leinoقیمت
تخفیف زماندار
۱۳٬۰۰۰ تومان تخفیف
۱۳٬۰۰۰ تومان ارزانتر از قیمت اصلی
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
مشخصات کتاب
- سال انتشار
- ۲۰۲۳
- فرمت
- زبان
- انگلیسی
- حجم فایل
- ۲۵٫۳ مگابایت
- شابک
- 9780262375429، 9780262375436، 9780262546232، 0262375427، 0262375435، 026254623X
کتابهای مشابه
Program Proofs
۳۶٬۰۰۰ تومان
Program = Proof
۳۶٬۰۰۰ تومان
Program Proofs
۳۶٬۰۰۰ تومان
Formal Development of Programs and Proofs
۳۶٬۰۰۰ تومان
Ruby Programming: Building Future-proof Scalable Applications
۳۶٬۰۰۰ تومان
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
۳۶٬۰۰۰ تومان
Termination Proofs For Logic Programs (lecture Notes In Computer Science)
۳۶٬۰۰۰ تومان
Reasoning about Functional Programs - Sparkle: a Proof Assistant for Clean
۳۶٬۰۰۰ تومان
Proof
۳۶٬۰۰۰ تومان
Proof
۳۶٬۰۰۰ تومان
قیمت نهایی
۳۶٬۰۰۰ تومان