دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers
دانلود کتاب انواع مدارک و برنامه ها: کارگاه بین المللی، TYPES '95 تورینو، ایتالیا، 5 تا 8 ژوئن 1995 مقالات منتخب
مشخصات کتاب
Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers
ویرایش: [1 ed.] نویسندگان: Gilles Barthe (auth.), Stefano Berardi, Mario Coppo (eds.) سری: Lecture Notes in Computer Science 1158 ISBN (شابک) : 3540617809, 9783540617808 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1996 تعداد صفحات: 298 [306] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 45,000
در صورت تبدیل فایل کتاب Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب انواع مدارک و برنامه ها: کارگاه بین المللی، TYPES '95 تورینو، ایتالیا، 5 تا 8 ژوئن 1995 مقالات منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب انواع مدارک و برنامه ها: کارگاه بین المللی، TYPES '95 تورینو، ایتالیا، 5 تا 8 ژوئن 1995 مقالات منتخب
این جلد شامل منتخبی از مقالات کامل بازبینی شده است که از
مشارکت‌های ارائه شده در سومین کارگاه سالانه که تحت نظارت
اقدام تحقیقاتی اساسی ESPRIT 6453 نوع برای اثبات و برنامه
برگزار شد، انتخاب شده است. این کارگاه در تورینو، ایتالیا، در
ژوئن 1995 برگزار شد.
نظریه نوع یک فرمالیسم است که در آن قضایا و براهین، مشخصات و
برنامه‌ها را می‌توان به صورت یکسان نمایش داد. 19 مقاله موجود
در این کتاب به مبانی تئوری نوع، چارچوب های منطقی و پیاده سازی
ها و کاربردها می پردازد. در مجموع آنها یک بررسی پیشرفته برای
حوزه نظریه نوع را تشکیل می دهند.
توضیحاتی درمورد کتاب به خارجی
This volume contains a refereed selection of revised full
papers chosen from the contributions presented during the
Third Annual Workshop held under the auspices of the ESPRIT
Basic Research Action 6453 Types for Proofs and Programs. The
workshop took place in Torino, Italy, in June 1995.
Type theory is a formalism in which theorems and proofs,
specifications and programs can be represented in a uniform
way. The 19 papers included in the book deal with foundations
of type theory, logical frameworks, and implementations and
applications; all in all they constitute a state-of-the-art
survey for the area of type theory.
