دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
دانلود کتاب تکنیک های رسمی برای سیستم های توزیع شده: یازدهمین کنفرانس بین المللی IFIP WG 6.1 کنفرانس بین المللی FMOODS 2009 و بیست و نهمین کنفرانس بین المللی IFIP WG 6.1 FORTE 2009 ، لیسبو ، پرتغال ، 9-12 ژوئن ، 2009. مجموعه مقالات
مشخصات کتاب
Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: David Kitchin, Adrian Quark, William Cook, Jayadev Misra (auth.), David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (eds.) سری: Lecture Notes in Computer Science 5522 : Programming and Software Engineering ISBN (شابک) : 3642021379, 9783642021374 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 259 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 80,000
کلمات کلیدی مربوط به کتاب تکنیک های رسمی برای سیستم های توزیع شده: یازدهمین کنفرانس بین المللی IFIP WG 6.1 کنفرانس بین المللی FMOODS 2009 و بیست و نهمین کنفرانس بین المللی IFIP WG 6.1 FORTE 2009 ، لیسبو ، پرتغال ، 9-12 ژوئن ، 2009. مجموعه مقالات: شبکه های ارتباطی کامپیوتری، تکنیک های برنامه نویسی، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های رسمی برای سیستم های توزیع شده: یازدهمین کنفرانس بین المللی IFIP WG 6.1 کنفرانس بین المللی FMOODS 2009 و بیست و نهمین کنفرانس بین المللی IFIP WG 6.1 FORTE 2009 ، لیسبو ، پرتغال ، 9-12 ژوئن ، 2009. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکنیک های رسمی برای سیستم های توزیع شده: یازدهمین کنفرانس بین المللی IFIP WG 6.1 کنفرانس بین المللی FMOODS 2009 و بیست و نهمین کنفرانس بین المللی IFIP WG 6.1 FORTE 2009 ، لیسبو ، پرتغال ، 9-12 ژوئن ، 2009. مجموعه مقالات
این کتاب مجموعه مقالات داوری یازدهمین کنفرانس بین المللی IFIP WG 6.1 در مورد روش های رسمی برای سیستم های توزیع شده مبتنی بر شی باز، FMOODS 2009 و بیست و نهمین تکنیک های رسمی IFIP WG 6.1 برای سیستم های شبکه ای و توزیع شده، FOR20 است، در لیسبون، پرتغال، در ژوئن 2009 برگزار شد.
12 مقاله کامل اصلاح شده ارائه شده همراه با 6 مقاله کوتاه به دقت بررسی و از بین 42 مقاله ارسالی انتخاب شدند. این مقالات موضوعاتی مانند تأیید رسمی، الگوریتم ها و پیاده سازی ها، مدل سازی و آزمایش، جبر فرآیند و حساب دیفرانسیل و انتگرال و همچنین تجزیه و تحلیل سیستم های توزیع شده را پوشش می دهد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009.
The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems.
فهرست مطالب
Front Matter....Pages -
The Orc Programming Language....Pages 1-25
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions....Pages 26-40
Approximated Context-Sensitive Analysis for Parameterized Verification....Pages 41-56
Verification of Parameterized Systems with Combinations of Abstract Domains....Pages 57-72
On Model-Checking Optimistic Replication Algorithms....Pages 73-89
Recursive Parametric Automata and ε -Removal....Pages 90-105
A Software Platform for Timed Mobility and Timed Interaction....Pages 106-121
Modeling, Validation, and Verification of PCEP Using the IF Language....Pages 122-136
Distinguing Non-deterministic Timed Finite State Machines....Pages 137-151
System Model-Based Definition of Modeling Language Semantics....Pages 152-166
Typing Component-Based Communication Systems....Pages 167-181
Epistemic Logic for the Applied Pi Calculus....Pages 182-197
On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems....Pages 198-212
Using First-Order Logic to Reason about Submodule Construction....Pages 213-218
A Model-Checking Approach for Service Component Architectures....Pages 219-224
Dynamic Symbolic Execution of Distributed Concurrent Objects....Pages 225-230
Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach....Pages 231-236
A Type Graph Model for Java Programs....Pages 237-242
Conformance Testing of Network Simulators Based on Metamorphic Testing Technique....Pages 243-248
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Information Technology Project Management : Providing measurable organizational Value
دانلود کتاب Mastering Emacs
دانلود کتاب Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 Proceedings
دانلود کتاب How to Build a Working Digital Computer
دانلود کتاب Information, Randomness and Incompleteness: Papers on Algorithmic Information Theory (Series in Computer Science, Vol 8)
دانلود کتاب Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers
دانلود کتاب Multivariable Computer-Controlled Systems: A Transfer Function Approach (Communications and Control Engineering)
دانلود کتاب Model checking
دانلود کتاب Architecting Critical Systems: First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings
