اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب Specifying Message Passing and Time-Critical Systems with Temporal Logic
قیمت اصلی 115,000 تومان بود.84,000 تومانقیمت فعلی 84,000 تومان است.
خرید و دانلود نسخه کامل کتاب In the Light of Logic
قیمت اصلی 127,000 تومان بود.96,000 تومانقیمت فعلی 96,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
04ساعت
42دقیقه
03ثانیه
-31%
خرید و دانلود نسخه کامل کتاب Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
قیمت اصلی 101,000 تومان بود.70,000 تومانقیمت فعلی 70,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
آیتم فروخته شده در 55 دقیقه
3
نفر در حال مشاهده این محصول هستند!
نقد و بررسیها
هنوز بررسیای ثبت نشده است.