دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings
دانلود کتاب ریاضیات ساخت برنامه: دهمین کنفرانس بین المللی ، MPC 2010 ، شهر کبک ، کانادا ، 21 تا 23 ژوئن ، 2010. مجموعه مقالات
مشخصات کتاب
Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings
ویرایش: 1 نویسندگان: Roland Backhouse, Wei Chen, João F. Ferreira (auth.), Claude Bolduc, Jules Desharnais, Béchir Ktari (eds.) سری: Lecture Notes in Computer Science 6120 : Theoretical Computer Science and General Issues ISBN (شابک) : 3642133207, 9783642133206 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 435 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب ریاضیات ساخت برنامه: دهمین کنفرانس بین المللی ، MPC 2010 ، شهر کبک ، کانادا ، 21 تا 23 ژوئن ، 2010. مجموعه مقالات: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، آنتی بادی ها، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ریاضیات ساخت برنامه: دهمین کنفرانس بین المللی ، MPC 2010 ، شهر کبک ، کانادا ، 21 تا 23 ژوئن ، 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ریاضیات ساخت برنامه: دهمین کنفرانس بین المللی ، MPC 2010 ، شهر کبک ، کانادا ، 21 تا 23 ژوئن ، 2010. مجموعه مقالات
این کتاب مجموعه مقالات داوری دهمین کنفرانس بین‌المللی ریاضیات ساخت برنامه، MPC 2010 است که در شهر کبک، کانادا در ژوئن 2010 برگزار شد. بررسی و از بین 37 مورد ارسالی انتخاب شد. تمرکز بر روی تکنیک هایی است که دقت را با مختصر ترکیب می کند و برنامه ها را قادر می سازد با محاسبه رسمی ساخته شوند. در این موضوع، دامنه این مجموعه بسیار متنوع است، از جمله روش برنامه نویسی، مشخصات برنامه و تبدیل، تجزیه و تحلیل برنامه، پارادایم های برنامه نویسی، محاسبات برنامه نویسی، معناشناسی زبان برنامه نویسی، امنیت و منطق برنامه.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 10th International Conference on Mathematics of Program Construction, MPC 2010, held in Québec City, Canada in June 2010. The 19 revised full papers presented together with 1 invited talk and the abstracts of 2 invited talks were carefully reviewed and selected from 37 submissions. The focus is on techniques that combine precision with conciseness, enabling programs to be constructed by formal calculation. Within this theme, the scope of the series is very diverse, including programming methodology, program specification and transformation, program analysis, programming paradigms, programming calculi, programming language semantics, security and program logics.
فهرست مطالب
Front Matter....Pages -
The Algorithmics of Solitaire-Like Games....Pages 1-18
Compositionality of Secure Information Flow....Pages 19-19
Process Algebras for Collective Dynamics....Pages 20-21
On Automated Program Construction and Verification....Pages 22-41
The Logic of Large Enough....Pages 42-57
Dependently Typed Grammars....Pages 58-79
Abstraction of Object Graphs in Program Verification....Pages 80-99
Subtyping, Declaratively....Pages 100-118
Compositional Action System Derivation Using Enforced Properties....Pages 119-139
Designing an Algorithmic Proof of the Two-Squares Theorem....Pages 140-156
Partial, Total and General Correctness....Pages 157-177
Unifying Theories of Programming That Distinguish Nontermination and Abort....Pages 178-194
Adjoint Folds and Unfolds....Pages 195-228
An Abstract Machine for the Old Value Retrieval....Pages 229-247
A Tracking Semantics for CSP....Pages 248-270
Matrices as Arrows!....Pages 271-287
Lucy-n: a n-Synchronous Extension of Lustre....Pages 288-309
Sampling, Splitting and Merging in Coinductive Stream Calculus....Pages 310-330
Generic Point-free Lenses....Pages 331-352
Formal Derivation of Concurrent Garbage Collectors....Pages 353-376
Temporal Logic Verification of Lock-Freedom....Pages 377-396
Gradual Refinement....Pages 397-425
Back Matter....Pages -
