دانلود کتاب Types for Proofs and Programs: International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers (به فارسی: انواع مدارک و برنامه ها: کنفرانس بین المللی، TYPES 2007، Cividale des Friuli، ایتالیا، 2-5 مه، 2007 مقالات منتخب اصلاح شده) نوشته شده توسط «Lisa Allali (auth.) – Marino Miculan – Ivan Scagnetto – Furio Honsell (eds.)»
اطلاعات کتاب انواع مدارک و برنامه ها: کنفرانس بین المللی، TYPES 2007، Cividale des Friuli، ایتالیا، 2-5 مه، 2007 مقالات منتخب اصلاح شده
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Lisa Allali (auth.) – Marino Miculan – Ivan Scagnetto – Furio Honsell (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2008
تعداد صفحه: 203
حجم کتاب: 3 مگابایت
کد کتاب: 3540680845 , 9783540680840
نوبت چاپ: 1
توضیحات کتاب انواع مدارک و برنامه ها: کنفرانس بین المللی، TYPES 2007، Cividale des Friuli، ایتالیا، 2-5 مه، 2007 مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات پس از کنفرانس کاملاً داوری شده TYPES 2007 است، کنفرانس پایانی پروژه Types، که در Cividale del Friuli، ایتالیا، در ماه مه 2007 برگزار شد.
13 مورد تجدید نظر شده مقالات کامل ارائه شده با دقت بررسی و از بین 22 مورد ارسالی انتخاب شدند. موضوع آخرین کارگاه سالانه کارگروه انواع، استدلال رسمی و برنامه نویسی کامپیوتری بر اساس تئوری نوع بود. اهمیت زیادی به زبان‌ها و ابزارهای رایانه‌ای برای استدلال و کاربردها در حوزه‌های مختلف مانند تجزیه و تحلیل زبان‌های برنامه‌نویسی، نرم‌افزارهای تایید شده، رسمی‌سازی ریاضیات و آموزش ریاضی داده شد.
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007.
The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics education.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.