دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
دانلود کتاب ریاضیات ساخت برنامه: دوازدهمین کنفرانس بین المللی، MPC 2015، Königswinter، آلمان، 29 ژوئن - 1 ژوئیه، 2015. مجموعه مقالات
مشخصات کتاب
Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
ویرایش: [1 ed.]
نویسندگان: Ralf Hinze. Janis Voigtländer (eds.)
سری: Lecture Notes in Computer Science 9129
ISBN (شابک) : 9783319197968, 9783319197975
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 323
[336]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 Mb
قیمت کتاب (تومان) : 74,000
در صورت تبدیل فایل کتاب Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ریاضیات ساخت برنامه: دوازدهمین کنفرانس بین المللی، MPC 2015، Königswinter، آلمان، 29 ژوئن - 1 ژوئیه، 2015. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ریاضیات ساخت برنامه: دوازدهمین کنفرانس بین المللی، MPC 2015، Königswinter، آلمان، 29 ژوئن - 1 ژوئیه، 2015. مجموعه مقالات
این کتاب مجموعه مقالات داوری دوازدهمین کنفرانس بین المللی ریاضیات ساخت برنامه، MPC 2015، برگزار شده در Königswinter، آلمان، در ژوئن/ژوئیه 2015 است. از بین 20 مورد ارسالی انتخاب شد. مقاله ها در مورد روش های ریاضی و ابزارهایی هستند که در ساخت برنامه استفاده می شوند. آنها از الگوریتم ها تا پشتیبانی از ساخت برنامه در زبان ها و سیستم های برنامه نویسی را شامل می شوند. برخی از حوزههای معمولی عبارتند از: سیستمهای نوع، تحلیل و تبدیل برنامه، معناشناسی زبان برنامهنویسی، امنیت و منطق برنامه.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.
فهرست مطالب
Front Matter....Pages I-XIV
Exploring an Interface Model for CKA....Pages 1-29
On Rely-Guarantee Reasoning....Pages 30-49
A Relation-Algebraic Approach to Multirelations and Predicate Transformers....Pages 50-70
Preference Decomposition and the Expressiveness of Preference Query Languages....Pages 71-92
Hierarchy in Generic Programming Libraries....Pages 93-112
Polynomial Functors Constrained by Regular Expressions....Pages 113-136
A Program Construction and Verification Tool for Separation Logic....Pages 137-158
Calculating Certified Compilers for Non-deterministic Languages....Pages 159-186
Notions of Bidirectional Computation and Entangled State Monads....Pages 187-214
A Clear Picture of Lens Laws....Pages 215-223
Regular Varieties of Automata and Coequations....Pages 224-237
Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets....Pages 238-256
Turing-Completeness Totally Free....Pages 257-275
Auto in Agda....Pages 276-301
Fusion for Free....Pages 302-322
Back Matter....Pages 323-323
نظرات کاربران
کتاب های تصادفی
دانلود کتاب History of Continued Fractions and Padé Approximants
دانلود کتاب Cartas A Un Joven Psicologo
دانلود کتاب Aut Aut 369/2016. Michel de Certeau. Un teatro della soggettività
دانلود کتاب He Whom a Dream Hath Possessed: The Life and Works of the American John Knox
