مشخصات کتاب

Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

ویرایش: 1 
نویسندگان: Colin Stirling (auth.),  Luke Ong (eds.)  
سری: Lecture Notes in Computer Science 6014 : Theoretical Computer Science and General Issues 
ISBN (شابک) : 9783642120312, 9783642120329 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2010 
تعداد صفحات: 401 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

کلمات کلیدی مربوط به کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: سیزدهمین کنفرانس بین المللی ، FOSSACS 2010 ، به عنوان بخشی از کنفرانس های مشترک اروپا درباره نظریه و عمل نرم افزار ، ETAPS 2010 ، پافوس ، قبرس ، 20 تا 28 مارس 2010. مجموعه مقالات: منطق ریاضی و زبان های رسمی، محاسبات با دستگاه های انتزاعی، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، مهندسی نرم افزار

در صورت تبدیل فایل کتاب Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: سیزدهمین کنفرانس بین المللی ، FOSSACS 2010 ، به عنوان بخشی از کنفرانس های مشترک اروپا درباره نظریه و عمل نرم افزار ، ETAPS 2010 ، پافوس ، قبرس ، 20 تا 28 مارس 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: سیزدهمین کنفرانس بین المللی ، FOSSACS 2010 ، به عنوان بخشی از کنفرانس های مشترک اروپا درباره نظریه و عمل نرم افزار ، ETAPS 2010 ، پافوس ، قبرس ، 20 تا 28 مارس 2010. مجموعه مقالات

این کتاب مجموعه مقالات داوری سیزدهمین کنفرانس بین المللی مبانی علم نرم افزار و ساختارهای محاسباتی، FOSSACS 2010، در پافوس، قبرس، در مارس 2010، به عنوان بخشی از ETAPS 2010، کنفرانس های مشترک اروپایی در نظریه و عمل نرم افزار، برگزار شد. 25 مقاله کامل اصلاح شده ارائه شده همراه با چکیده سخنرانی اصلی به دقت بررسی و از بین 86 مقاله ارسالی کامل انتخاب شدند. این مقالات در بخش‌های موضوعی در مورد معناشناسی زبان‌های برنامه‌نویسی، محاسبات احتمالی و تصادفی، نظریه همزمانی و فرآیند، منطق‌های مودال و زمانی، تأیید، روش‌های طبقه‌بندی و جبری، و همچنین محاسبات و انواع لامبدا سازمان‌دهی شده‌اند.

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

This book constitutes the refereed proceedings of the 13th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. The 25 revised full papers presented together with the abstract of the keynote lecture were carefully reviewed and selected from 86 full paper submissions. The papers are organized in topical sections on semantics of programming languages, probabilistic and randomised computation, concurrency and process theory, modal and temporal logics, verification, categorical and coalgebraic methods, as well as lambda calculus and types.

فهرست مطالب

Front Matter....Pages -
Introduction to Decidability of Higher-Order Matching....Pages 1-1
A Semantic Foundation for Hidden State....Pages 2-17
Linearly-Used Continuations in the Enriched Effect Calculus....Pages 18-32
Block Structure vs. Scope Extrusion: Between Innocence and Omniscience....Pages 33-47
Completeness for Algebraic Theories of Local State....Pages 48-63
Fair Adversaries and Randomization in Two-Player Games....Pages 64-78
Retaining the Probabilities in Probabilistic Testing Theory....Pages 79-93
Forward Analysis of Depth-Bounded Processes....Pages 94-108
Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization....Pages 109-127
Parameterised Multiparty Session Types....Pages 128-145
On the Relationship between Spatial Logics and Behavioral Simulations....Pages 146-160
An Easy Completeness Proof for the Modal μ -Calculus on Finite Trees....Pages 161-175
When Model-Checking Freeze LTL over Counter Machines Becomes Decidable....Pages 176-190
Model Checking Is Static Analysis of Modal Logic....Pages 191-205
Counting CTL ....Pages 206-220
Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems....Pages 221-236
Toward a Compositional Theory of Leftist Grammars and Transformations....Pages 237-251
Degrees of Lookahead in Regular Infinite Games....Pages 252-266
Reachability Analysis of Communicating Pushdown Systems....Pages 267-281
The Complexity of Synchronous Notions of Information Flow Security....Pages 282-296
Monads Need Not Be Endofunctors....Pages 297-311
CIA Structures and the Semantics of Recursion....Pages 312-327
Coalgebraic Correspondence Theory....Pages 328-342
Untyped Recursion Schemes and Infinite Intersection Types....Pages 343-357
Solvability in Resource Lambda-Calculus....Pages 358-373
A Hierarchy for Delimited Continuations in Call-by-Name....Pages 374-388
Back Matter....Pages -

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

کتاب های تصادفی

دانلود کتاب The algebra and geometry of infinity-categories

دانلود کتاب An Information Theoretic Approach to Econometrics Paperback

دانلود کتاب Produced Water: Environmental Risks and Advances in Mitigation Technologies

دانلود کتاب The Dynamics of Economic and Political Relations Between Africa and Foreign Powers: A Study in International Relations

دانلود کتاب TérKéptelen (?) Trianon (Maps of Hungary before and after the peace treaty of 1920)