مشخصات کتاب

Foundations of Software Science and Computation Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

ویرایش: 1 
نویسندگان: Samson Abramsky,  Radha Jagadeesan (auth.),  Andrew D. Gordon (eds.)  
سری: Lecture Notes in Computer Science 2620 
ISBN (شابک) : 9783540008972, 9783540365761 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2003 
تعداد صفحات: 452 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 25 مگابایت 

کلمات کلیدی مربوط به کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: ششمین کنفرانس بین المللی ، FOSSACS 2003 به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2003 ورشو ، لهستان ، مجموعه مقالات 7-11 آوریل ، 2003: منطق و معانی برنامه ها، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، محاسبات با دستگاه های انتزاعی، منطق ریاضی و زبان های رسمی

در صورت تبدیل فایل کتاب Foundations of Software Science and Computation Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: ششمین کنفرانس بین المللی ، FOSSACS 2003 به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2003 ورشو ، لهستان ، مجموعه مقالات 7-11 آوریل ، 2003 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: ششمین کنفرانس بین المللی ، FOSSACS 2003 به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2003 ورشو ، لهستان ، مجموعه مقالات 7-11 آوریل ، 2003



این کتاب مجموعه مقالات داوری ششمین کنفرانس بین المللی مبانی علم نرم افزار و ساختارهای محاسباتی، FOSSACS 2003 است که در آوریل 2003 در ورشو، لهستان برگزار شد.

26 مقاله کامل اصلاح شده همراه با ارائه شده است. یک مقاله دعوت شده به دقت بررسی و از بین 96 مقاله ارسالی انتخاب شد. از جمله موضوعات تحت پوشش مدل های جبری هستند. اتوماتا و نظریه زبان؛ معادلات رفتاری؛ مدل های طبقه بندی شده؛ فرآیندهای محاسباتی بر روی داده های گسسته و پیوسته؛ ساختارهای محاسباتی؛ منطق برنامه ها; مدل های سیستم های همزمان، واکنشی، توزیع شده و متحرک؛ جبرها و محاسبات را پردازش کنید. معناشناسی زبان های برنامه نویسی; مشخصات و اصلاح نرم افزار؛ سیستم های انتقال؛ و سیستم ها و نظریه نوع را تایپ کنید.

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

This book constitutes the refereed proceedings of the 6th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2003, held in Warsaw, Poland in April 2003.

The 26 revised full papers presented together with an invited paper were carefully reviewed and selected from 96 submissions. Among the topics covered are algebraic models; automata and language theory; behavioral equivalences; categorical models; computation processes over discrete and continuous data; computation structures; logics of programs; models of concurrent, reactive, distributed, and mobile systems; process algebras and calculi; semantics of programming languages; software specification and refinement; transition systems; and type systems and type theory.

فهرست مطالب

A Game Semantics for Generic Polymorphism....Pages 1-22
Categories of Containers....Pages 23-38
Verification of Probabilistic Systems with Faulty Communication....Pages 39-53
Generalized Iteration and Coiteration for Higher-Order Nested Datatypes....Pages 54-69
Ambiguous Classes in the Games μ-Calculus Hierarchy....Pages 70-86
Parameterized Verification by Probabilistic Abstraction....Pages 87-102
Genericity and the π-Calculus....Pages 103-119
Model Checking Lossy Channels Systems Is Probably Decidable....Pages 120-135
Verification of Cryptographic Protocols: Tagging Enforces Termination....Pages 136-152
A Normalisation Result for Higher-Order Calculi with Explicit Substitutions....Pages 153-168
When Ambients Cannot Be Opened....Pages 169-184
Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time....Pages 185-199
An Intrinsic Characterization of Approximate Probabilistic Bisimilarity....Pages 200-215
Manipulating Trees with Hidden Labels....Pages 216-230
The Converse of a Stochastic Relation....Pages 233-249
Type Assignment for Intersections and Unions in Call-by-Value Languages....Pages 250-266
Cones and Foci for Protocol Verification Revisited....Pages 267-281
Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems....Pages 282-298
The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard....Pages 299-312
A Game Semantics of Linearly Used Continuations....Pages 313-327
Counting and Equality Constraints for Multitree Automata....Pages 328-342
Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete....Pages 343-357
A Monadic Multi-stage Metalanguage....Pages 358-374
Multi-level Meta-reasoning with Higher-Order Abstract Syntax....Pages 375-391
Abstraction in Reasoning about Higraph-Based Systems....Pages 392-408
Deriving Bisimulation Congruences: 2-Categories Vs Precategories....Pages 409-424
On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the μCalculus....Pages 425-440

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

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

دانلود کتاب Secure Portal: Using Websphere Portal V5 and Tivoli Access Manager V4.1

دانلود کتاب Konzernbetriebsrat und Konzernbetriebsvereinbarung in der Betriebs- und Unternehmensumstrukturierung

دانلود کتاب In love with life: reflections on Friedrich Nietzsche's Thus spake Zarathustra

دانلود کتاب Gravity, Geoid and Marine Geodesy: International Symposium No. 117 Tokyo, Japan, September 30 – October 5, 1996

دانلود کتاب Бейсик для начинающих