دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
دانلود کتاب برنامه های مدارک و مدارک: سومین کنفرانس بین المللی، CPP 2013، ملبورن، VIC، استرالیا، 11-13 دسامبر 2013، پرونده ها
مشخصات کتاب
Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
ویرایش: 1 نویسندگان: Daniel R. Licata, Guillaume Brunerie (auth.), Georges Gonthier, Michael Norrish (eds.) سری: Lecture Notes in Computer Science 8307 Theoretical Computer Science and General Issues ISBN (شابک) : 9783319035444, 9783319035451 ناشر: Springer International Publishing سال نشر: 2013 تعداد صفحات: 318 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 51,000
کلمات کلیدی مربوط به کتاب برنامه های مدارک و مدارک: سومین کنفرانس بین المللی، CPP 2013، ملبورن، VIC، استرالیا، 11-13 دسامبر 2013، پرونده ها: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلر، مفسر، دستکاری نمادین و جبری، هوش مصنوعی (شامل رباتیک)، علوم کامپیوتر، عمومی
در صورت تبدیل فایل کتاب Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه های مدارک و مدارک: سومین کنفرانس بین المللی، CPP 2013، ملبورن، VIC، استرالیا، 11-13 دسامبر 2013، پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه های مدارک و مدارک: سومین کنفرانس بین المللی، CPP 2013، ملبورن، VIC، استرالیا، 11-13 دسامبر 2013، پرونده ها
این کتاب مجموعه مقالات داوری سومین کنفرانس بین‌المللی برنامه‌ها و شواهد معتبر، CPP 2013، همراه با APLAS 2013 است که در ملبورن، استرالیا، در دسامبر 2013 برگزار شد. بررسی و از بین 39 مورد ارسالی انتخاب شد. مقالات در بخش‌های موضوعی در تأیید کد، اثبات‌های زیبا، کتابخانه‌های اثبات، تبدیل‌های تایید شده و امنیت سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013. The 18 revised regular papers presented together with 1 invited lecture were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on code verification, elegant proofs, proof libraries, certified transformations and security.
فهرست مطالب
Front Matter....Pages -
π n ( S n ) in Homotopy Type Theory....Pages 1-16
Mostly Sound Type System Improves a Foundational Program Verifier....Pages 17-32
Computational Verification of Network Programs in Coq....Pages 33-49
Aliasing Restrictions of C11 Formalized in Coq....Pages 50-65
Proof Pearl: A Verified Bignum Implementation in x86-64 Machine Code....Pages 66-81
A Constructive Theory of Regular Languages in Coq....Pages 82-97
Certified Parsing of Regular Languages....Pages 98-113
Nonfree Datatypes in Isabelle/HOL....Pages 114-130
Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL....Pages 131-146
Refinements for Free!....Pages 147-162
A Formal Proof of Borodin-Trakhtenbrot’s Gap Theorem....Pages 163-177
Certified Kruskal’s Tree Theorem....Pages 178-193
Extracting Proofs from Tabled Proof Search....Pages 194-210
Formalizing the SAFECode Type System....Pages 211-226
Certifiably Sound Parallelizing Transformations....Pages 227-242
Programming Type-Safe Transformations Using Higher-Order Abstract Syntax....Pages 243-258
Formalizing Probabilistic Noninterference....Pages 259-275
Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties....Pages 276-291
A Formal Model and Correctness Proof for an Access Control Policy Framework....Pages 292-307
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب A Tale of Time City
دانلود کتاب Progress in Surgical Pathology: Volume XI
دانلود کتاب Material Flow Management: Improving Cost Efficiency and Environmental Performance
