ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

دانلود کتاب اثبات قضیه تعاملی: ششمین کنفرانس بین المللی، ITP 2015، نانجینگ، چین، 24-27 اوت 2015، مجموعه مقالات

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

مشخصات کتاب

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

ویرایش: 1 
نویسندگان:   
سری: Lecture Notes in Computer Science 9236 
ISBN (شابک) : 9783319221014, 9783319221021 
ناشر: Springer International Publishing 
سال نشر: 2015 
تعداد صفحات: 479 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 13 مگابایت 

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



کلمات کلیدی مربوط به کتاب اثبات قضیه تعاملی: ششمین کنفرانس بین المللی، ITP 2015، نانجینگ، چین، 24-27 اوت 2015، مجموعه مقالات: منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، منطق و معانی برنامه ها، مهندسی نرم افزار، سیستم ها و امنیت داده ها، تجزیه و تحلیل الگوریتم و پیچیدگی مسائل



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

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


در صورت تبدیل فایل کتاب Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب اثبات قضیه تعاملی: ششمین کنفرانس بین المللی، ITP 2015، نانجینگ، چین، 24-27 اوت 2015، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب اثبات قضیه تعاملی: ششمین کنفرانس بین المللی، ITP 2015، نانجینگ، چین، 24-27 اوت 2015، مجموعه مقالات



این کتاب مجموعه مقالات ششمین کنفرانس بین المللی اثبات قضیه تعاملی، ITP 2015 است که در نانجینگ، چین، در آگوست 2015 برگزار شد. 27 مقاله ارائه شده در این جلد به دقت بررسی و از بین 54 مقاله ارسالی انتخاب شدند. موضوعات از مبانی نظری گرفته تا جنبه‌های پیاده‌سازی و کاربردها در تأیید برنامه، امنیت و رسمی‌سازی ریاضیات.


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

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.



فهرست مطالب

Front Matter....Pages I-XI
Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems....Pages 1-16
Formalization of Error-Correcting Codes: From Hamming to Modern Coding Theory....Pages 17-33
ROSCoq: Robots Powered by Constructive Reals....Pages 34-50
Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface....Pages 51-66
A Concrete Memory Model for CompCert....Pages 67-83
Validating Dominator Trees for a Fast, Verified Dominance Test....Pages 84-99
Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra....Pages 100-116
Mechanisation of AKS Algorithm: Part 1 – The Main Theorem....Pages 117-136
Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation....Pages 137-153
Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker....Pages 154-169
Proof-Producing Reflection for HOL....Pages 170-186
Improved Tool Support for Machine-Code Decompilation in HOL4....Pages 187-202
A Formalized Hierarchy of Probabilistic System Types....Pages 203-220
A Verified Enclosure for the Lorenz Attractor (Rough Diamond)....Pages 221-226
Learning to Parse on Aligned Corpora (Rough Diamond)....Pages 227-233
A Consistent Foundation for Isabelle/HOL....Pages 234-252
Refinement to Imperative/HOL....Pages 253-269
Stream Fusion for Isabelle’s Code Generator....Pages 270-277
HOCore in Coq....Pages 278-293
Affine Arithmetic and Applications to Real-Number Proving....Pages 294-309
Amortized Complexity Verified....Pages 310-324
Foundational Property-Based Testing....Pages 325-343
A Linear First-Order Functional Intermediate Language for Verified Compilers....Pages 344-358
Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions....Pages 359-374
ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages....Pages 375-390
Transfinite Constructions in Classical Type Theory....Pages 391-404
A Mechanized Theory of Regular Trees in Dependent Type Theory....Pages 405-420
Deriving Comparators and Show Functions in Isabelle/HOL....Pages 421-437
Formalising Knot Theory in Isabelle/HOL....Pages 438-452
Pattern Matches in HOL:....Pages 453-468
Back Matter....Pages 469-469




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