Formal Development of Programs and Proofs
Dijkstra, Edsger, Dijkstra, E. W.قیمت
۳۶٬۰۰۰ تومان۲۷٪ تخفیف کل
قیمت اصلی۴۹٬۰۰۰ تومان
تخفیف زماندار
۱۳٬۰۰۰ تومان تخفیف
۱۳٬۰۰۰ تومان ارزانتر از قیمت اصلی
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
تحویل فوری
پرداخت امن
ضمانت فایل
پشتیبانی
مشخصات کتاب
- سال انتشار
- ۱۹۹۰
- فرمت
- DJVU
- زبان
- انگلیسی
- حجم فایل
- ۵٫۶ مگابایت
کتابهای مشابه
Proof, logic, and formalization
۴۹٬۰۰۰ تومان
Proof, Logic, and Formalization
۴۹٬۰۰۰ تومان
Proof, logic, and formalization
۴۹٬۰۰۰ تومان
Proof, logic, and formalization
۴۹٬۰۰۰ تومان
Program = Proof
۴۹٬۰۰۰ تومان
Program Proofs
۴۹٬۰۰۰ تومان
Program Proofs
۴۹٬۰۰۰ تومان
Program Proofs
۴۹٬۰۰۰ تومان
Type theory and formal proof : an introduction
۴۹٬۰۰۰ تومان
Type theory and formal proof : an introduction
۴۹٬۰۰۰ تومان
Type theory and formal proof : an introduction
۴۹٬۰۰۰ تومان
Computer programming and formal systems
۴۹٬۰۰۰ تومان
قیمت نهایی
۳۶٬۰۰۰ تومان