خرید و دانلود نسخه کامل کتاب Specifying Message Passing and Time-Critical Systems with Temporal Logic
قیمت اصلی 57,500 تومان بود.42,000 تومانقیمت فعلی 42,000 تومان است.
خرید و دانلود نسخه کامل کتاب In the Light of Logic
قیمت اصلی 63,500 تومان بود.48,000 تومانقیمت فعلی 48,000 تومان است.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
10ساعت
15دقیقه
10ثانیه
-31%
خرید و دانلود نسخه کامل کتاب Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
قیمت اصلی 50,500 تومان بود.35,000 تومانقیمت فعلی 35,000 تومان است.
تعداد فروش: 58
| عنوان فارسی |
قضیه تعاملی و توسعه برنامه: Coq’art: حساب سازه های استقرایی |
|---|---|
| عنوان اصلی | Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions |
| ناشر | Springer |
| نویسنده | Yves Bertot, Pierre Castéran |
| ISBN | 3540208542 |
| سال نشر | 2004 |
| زبان | English |
| تعداد صفحات | 498 |
| دسته | منطق |
| فرمت کتاب | PDF – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 3 مگابایت |
2
آیتم فروخته شده در 30 دقیقه
4
نفر در حال مشاهده این محصول هستند!
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.