جستجو
×
پرش به محتوا
سپنتا کتاب اکسپرس ۲۴
تماس با ما
حساب کاربری من
سبد خرید
سپنتا کتاب اکسپرس ۲۴
orderreview
پرداخت
تماس با ما
حساب کاربری من
سبد خرید
فروشگاه
Curry-Howard Correspondence
نمایش یک نتیجه
مرتب سازی بر اساس محبوبیت
مرتب سازی بر اساس میانگین رتبه
مرتب سازی بر اساس جدیدترین
مرتب سازی بر اساس هزینه: کم به زیاد
مرتب سازی بر اساس هزینه: زیاد به کم
هر قسط
تومان
62,488
افزودن به سبد خرید
کتابهای آموزشی
کتاب برنامه = اثبات: مبانی برنامهنویسی قابل اعتماد با نظریه نوعها
تومان
249,950
افزودن به سبد خرید
پیمایش به بالا
