ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Adapting Proofs-as-Programs : The Curry-Howard Protocol

دانلود کتاب تطبیق مدارک به عنوان برنامه: پروتکل کری هاوارد

Adapting Proofs-as-Programs : The Curry-Howard Protocol

مشخصات کتاب

Adapting Proofs-as-Programs : The Curry-Howard Protocol

ویرایش: [1 ed.] 
نویسندگان: , ,   
سری: Monographs in Computer Science 
ISBN (شابک) : 0387237593, 9780387237596 
ناشر: Springer 
سال نشر: 2005 
تعداد صفحات: 417 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 Mb 

قیمت کتاب (تومان) : 36,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 7


در صورت تبدیل فایل کتاب Adapting Proofs-as-Programs : The Curry-Howard Protocol به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تطبیق مدارک به عنوان برنامه: پروتکل کری هاوارد نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی درمورد کتاب به خارجی



فهرست مطالب

Front Matter....Pages 1-1
Introduction....Pages 3-21
Front Matter....Pages 23-23
Functional Program Synthesis....Pages 25-75
The Curry-Howard Protocol....Pages 77-89
Front Matter....Pages 91-94
Intuitionistic Hoare Logic....Pages 95-134
Properties of Intuitionistic Hoare Logic....Pages 135-164
Proofs-as-Imperative-Programs....Pages 165-213
Front Matter....Pages 215-215
Reasoning about Structured Specifications....Pages 217-252
Proof-theoretic Properties of SSL....Pages 253-295
Structured Proofs-as-Programs....Pages 297-339
Generic Specifications....Pages 341-365
Structured Program Synthesis....Pages 367-389
Front Matter....Pages 391-391
Conclusions: Toward Constructive Logic as a Practical 4GL....Pages 393-396




نظرات کاربران