اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب Мовленнєві заняття в системі сучасної дошкільної освіти
قیمت اصلی 133,000 تومان بود.58,000 تومانقیمت فعلی 58,000 تومان است.
خرید و دانلود نسخه کامل کتاب Урокі-блокі. Беларуская мова. 2 клас
قیمت اصلی 161,000 تومان بود.86,000 تومانقیمت فعلی 86,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
21ساعت
28دقیقه
43ثانیه
-49%
خرید و دانلود نسخه کامل کتاب Types for Proofs and Programs: International Workshop TYPES’96 Aussois, France, December 15–19, 1996 Selected Papers
قیمت اصلی 153,000 تومان بود.78,000 تومانقیمت فعلی 78,000 تومان است.
تعداد فروش: 68
| عنوان فارسی |
انواع اثبات و برنامه ها: کارگاه بین المللی TYPES’96 Aussois ، فرانسه ، 15 تا 19 دسامبر ، 1996 مقاله های منتخب |
|---|---|
| عنوان اصلی | Types for Proofs and Programs: International Workshop TYPES’96 Aussois, France, December 15–19, 1996 Selected Papers |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Eduardo Giménez, Christine Paulin-Mohring (eds.) |
| ISBN | 3540651373, 9783540651376 |
| سال نشر | 1998 |
| زبان | English |
| تعداد صفحات | 381 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | PDF – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 3 مگابایت |
2
آیتم فروخته شده در 55 دقیقه
4
نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات پس از کارگاه کاملاً اصلاح شده اولین کارگاه سالانه است که تحت نظارت گروه کاری ESPRIT 21900 TYPES در آسوا، فرانسه در دسامبر 1996 برگزار شد.
18 مقاله کامل اصلاح شده ارائه شده در کتاب به دقت بررسی و از بین 30 مقاله پذیرفته شده برای ارائه در کارگاه انتخاب شد. تمام جنبه های فعلی تئوری نوع و سیستم های نوع و کاربردهای آنها برای تأیید برنامه و اثبات قضیه پرداخته شده است. سیستمهای اثبات و اثباتکنندههای قضیه شامل Coq، LEGO، و Isabelle/HOL هستند.
نظرات (0)
نقد و بررسیها
هنوز بررسیای ثبت نشده است.