اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب Structural Reliabilism: Inductive Logic as a Theory of Justification
قیمت اصلی 101,000 تومان بود.70,000 تومانقیمت فعلی 70,000 تومان است.
خرید و دانلود نسخه کامل کتاب Sheaves, Games, and Model Completions: A Categorial Approach to Nonclassical Propositional Logics
قیمت اصلی 113,000 تومان بود.82,000 تومانقیمت فعلی 82,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
10ساعت
28دقیقه
03ثانیه
-25%
خرید و دانلود نسخه کامل کتاب Larch: Languages and Tools for Formal Specification
قیمت اصلی 125,000 تومان بود.94,000 تومانقیمت فعلی 94,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
آیتم فروخته شده در 55 دقیقه
5
نفر در حال مشاهده این محصول هستند!
نقد و بررسیها
هنوز بررسیای ثبت نشده است.