دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Adapting Proofs-as-Programs : The Curry-Howard Protocol
دانلود کتاب تطبیق مدارک به عنوان برنامه: پروتکل کری هاوارد
مشخصات کتاب
Adapting Proofs-as-Programs : The Curry-Howard Protocol
ویرایش: [1 ed.] نویسندگان: Iman Poernomo, John N. Crossley, Martin Wirsing سری: Monographs in Computer Science ISBN (شابک) : 0387237593, 9780387237596 ناشر: Springer سال نشر: 2005 تعداد صفحات: 417 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 Mb
قیمت کتاب (تومان) : 36,000
در صورت تبدیل فایل کتاب 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
