دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [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
در صورت تبدیل فایل کتاب 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