دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings
دانلود کتاب ریاضیات ساخت برنامه: هفتمین کنفرانس بین المللی ، MPC 2004 ، استرلینگ ، اسکاتلند ، انگلیس ، 12 تا 14 ژوئیه 2004. مجموعه مقالات
مشخصات کتاب
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings
ویرایش: 1 نویسندگان: Greg Nelson (auth.), Dexter Kozen (eds.) سری: Lecture Notes in Computer Science 3125 ISBN (شابک) : 9783540223801, 3540223800 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 410 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب ریاضیات ساخت برنامه: هفتمین کنفرانس بین المللی ، MPC 2004 ، استرلینگ ، اسکاتلند ، انگلیس ، 12 تا 14 ژوئیه 2004. مجموعه مقالات: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، مهندسی نرم افزار، محاسبات با دستگاه های انتزاعی، زبان های برنامه نویسی، کامپایلر ها، مترجمان
در صورت تبدیل فایل کتاب Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ریاضیات ساخت برنامه: هفتمین کنفرانس بین المللی ، MPC 2004 ، استرلینگ ، اسکاتلند ، انگلیس ، 12 تا 14 ژوئیه 2004. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ریاضیات ساخت برنامه: هفتمین کنفرانس بین المللی ، MPC 2004 ، استرلینگ ، اسکاتلند ، انگلیس ، 12 تا 14 ژوئیه 2004. مجموعه مقالات
این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین المللی ریاضیات ساخت برنامه، MPC 2004 است که در استرلینگ، اسکاتلند، انگلستان در ژوئیه 2004 برگزار شد.
19 مقاله کامل اصلاح شده ارائه شده با دقت ارائه شده است. بررسی و از بین 37 مورد ارسالی انتخاب شد. از جمله موضوعاتی که به آنها پرداخته می شود، تئوری برنامه نویسی، روش برنامه نویسی، مشخصات برنامه، تبدیل برنامه، پارادایم های برنامه نویسی، محاسبات برنامه نویسی و معناشناسی زبان برنامه نویسی است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 7th International Conference on the Mathematics of Program Construction, MPC 2004, held in Stirling, Scotland, UK in July 2004.
The 19 revised full papers presented were carefully reviewed and selected from 37 submissions. Among the topics addressed are programming theory, programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.
فهرست مطالب
Front Matter....Pages -
Extended Static Checking for Java....Pages 1-1
Constructing Polymorphic Programs with Quotient Types....Pages 2-15
Optimizing Generic Functions....Pages 16-31
Inferring Type Isomorphisms Generically....Pages 32-53
Friends Need a Bit More: Maintaining Invariants Over Shared State....Pages 54-84
Chasing Bottoms....Pages 85-109
Describing Gen/Kill Static Analysis Techniques with Kleene Algebra....Pages 110-128
A Free Construction of Kleene Algebras with Tests....Pages 129-141
Streaming Representation-Changers....Pages 142-168
Probabilistic Predicative Programming....Pages 169-185
An Algebra of Scans....Pages 186-210
Compiling Exceptions Correctly....Pages 211-227
Modelling Nondeterminism....Pages 228-251
Lazy Kleene Algebra....Pages 252-273
Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy....Pages 274-288
An Injective Language for Reversible Computation....Pages 289-313
Prototyping Generic Programming in Template Haskell....Pages 314-333
Transposing Relations: From Maybe Functions to Hash Tables....Pages 334-356
Pointer Theory and Weakest Preconditions without Addresses and Heap....Pages 357-380
Travelling Processes....Pages 381-399
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب New Paradigm for Re-engineering Education: Globalization,Localization and Individualization (Education in the Asia-Pacific Region: Issues, Concerns and ... Region: Issues, Concerns and Prospects)
دانلود کتاب Exploration of the Need for and Cost of Selected Trade Facilitation Measures in Asia and the Pacific in the Context of the WTO Negotiations, An (Studies in Trade and Investment)
دانلود کتاب Основы математического моделирования
