خرید و دانلود نسخه کامل کتاب Structural Reliabilism: Inductive Logic as a Theory of Justification
قیمت اصلی 50,500 تومان بود.35,000 تومانقیمت فعلی 35,000 تومان است.
خرید و دانلود نسخه کامل کتاب Sheaves, Games, and Model Completions: A Categorial Approach to Nonclassical Propositional Logics
قیمت اصلی 56,500 تومان بود.41,000 تومانقیمت فعلی 41,000 تومان است.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
04ساعت
40دقیقه
14ثانیه
-25%
خرید و دانلود نسخه کامل کتاب Larch: Languages and Tools for Formal Specification
قیمت اصلی 62,500 تومان بود.47,000 تومانقیمت فعلی 47,000 تومان است.
تعداد فروش: 57
| عنوان فارسی |
Larch: زبان ها و ابزارهایی برای مشخصات رسمی |
|---|---|
| عنوان اصلی | Larch: Languages and Tools for Formal Specification |
| ناشر | Springer |
| نویسنده | John V. Guttag, James J. Horning |
| ISBN | 9783540940067, 3540940065 |
| سال نشر | 1993 |
| زبان | English |
| تعداد صفحات | 259 |
| دسته | منطق |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 573 کیلوبایت |
1
آیتم فروخته شده در 30 دقیقه
4
نفر در حال مشاهده این محصول هستند!
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.