خرید و دانلود نسخه کامل کتاب Types for Proofs and Programs: International Workshop TYPES ’94 Båstad, Sweden, June 6–10, 1994 Selected Papers
قیمت اصلی 74,500 تومان بود.37,000 تومانقیمت فعلی 37,000 تومان است.
تعداد فروش: 68
| عنوان فارسی | انواع مستندات و برنامه ها: انواع کارگاه های بین المللی 94 بوستاد ، سوئد ، 6 تا 10 ژوئن 1994 مقاله های منتخب |
|---|---|
| عنوان اصلی | Types for Proofs and Programs: International Workshop TYPES ’94 Båstad, Sweden, June 6–10, 1994 Selected Papers |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | René Ahn (auth.), Peter Dybjer, Bengt Nordström, Jan Smith (eds.) |
| ISBN | 3540605797, 9783540605799 |
| سال نشر | 1995 |
| زبان | English |
| تعداد صفحات | 211 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | PDF – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 2 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه ای کاملاً داوری شده از مقالات کامل اصلاح شده را ارائه می دهد که از مقالات پذیرفته شده برای کارگاه آموزشی TYPES ’94 که تحت نظارت ESPRIT Basic Research Action 6453 Types for Proofs and Programs در باستاد، سوئد، در ژوئن 1994 برگزار شد، ارائه می کند. .
این 10 مقاله شامل جنبه های مختلف توسعه اثبات ها و برنامه های کامپیوتری با استفاده از یک چارچوب منطقی می شود. نظریه نوع و سه چارچوب منطقی مبتنی بر آن پرداخته می شود: ALF، Coq، و LEGO. سایر موضوعات تحت پوشش عبارتند از فرانظریه، سیستم ایزابل، 2-حساب، چکرز اثبات، و نظریه مجموعه ZF.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.