دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
دانلود کتاب تکنیک های رسمی برای سیستم های توزیع شده: کنفرانس بین المللی مشترک IFIP WG 6.1 ، FMOODS / FORTE 2013 ، به عنوان بخشی از هشتمین کنفرانس بین المللی فدرال شده درمورد تکنیک های رایانه توزیع شده ، DisCoTec 2013 ، فلورانس ، ایتالیا ، 3-5 ژوئن ، 2013. مجموعه مقالات
مشخصات کتاب
Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
ویرایش: 1 نویسندگان: Tevfik Bultan (auth.), Dirk Beyer, Michele Boreale (eds.) سری: Lecture Notes in Computer Science 7892 Programming and Software Engineering ISBN (شابک) : 9783642385919, 9783642385926 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 333 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 43,000
کلمات کلیدی مربوط به کتاب تکنیک های رسمی برای سیستم های توزیع شده: کنفرانس بین المللی مشترک IFIP WG 6.1 ، FMOODS / FORTE 2013 ، به عنوان بخشی از هشتمین کنفرانس بین المللی فدرال شده درمورد تکنیک های رایانه توزیع شده ، DisCoTec 2013 ، فلورانس ، ایتالیا ، 3-5 ژوئن ، 2013. مجموعه مقالات: منطق و معانی برنامه ها، مهندسی نرم افزار، محاسبات با دستگاه های انتزاعی، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های رسمی برای سیستم های توزیع شده: کنفرانس بین المللی مشترک IFIP WG 6.1 ، FMOODS / FORTE 2013 ، به عنوان بخشی از هشتمین کنفرانس بین المللی فدرال شده درمورد تکنیک های رایانه توزیع شده ، DisCoTec 2013 ، فلورانس ، ایتالیا ، 3-5 ژوئن ، 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکنیک های رسمی برای سیستم های توزیع شده: کنفرانس بین المللی مشترک IFIP WG 6.1 ، FMOODS / FORTE 2013 ، به عنوان بخشی از هشتمین کنفرانس بین المللی فدرال شده درمورد تکنیک های رایانه توزیع شده ، DisCoTec 2013 ، فلورانس ، ایتالیا ، 3-5 ژوئن ، 2013. مجموعه مقالات
این کتاب مجموعه مقالات داوری پانزدهمین کنفرانس بین‌المللی IFIP WG 6.1 در مورد روش‌های رسمی برای سیستم‌های توزیع‌شده مبتنی بر شی باز، FMOODS 2013 و سی و سومین کنفرانس بین‌المللی IFIP WG 6.1 در تکنیک‌های رسمی برای سیستم‌های شبکه‌ای و توزیع‌شده20، 13FORTE است. ، در فلورانس، ایتالیا، در ژوئن 2013، به عنوان بخشی از هشتمین کنفرانس فدرال بین المللی تکنیک های محاسباتی توزیع شده، DisCoTec 2013 برگزار شد. 20 مقاله کامل اصلاح شده ارائه شده به دقت بررسی و از بین 39 مورد ارسالی انتخاب شدند. این مقالات طیف گسترده ای از موضوعات را ارائه می دهند که تئوری و عمل را با هم ترکیب می کنند. آنها مدل‌های محاسباتی توزیع‌شده و مشخصات رسمی، روش‌های آزمایش و تأیید و همچنین حوزه‌های کاربردی مانند سیستم‌های توزیع‌شده در سطح برنامه، خدمات مخابراتی، اینترنت، سیستم‌های جاسازی شده و بلادرنگ، و امنیت و قابلیت اطمینان شبکه و ارتباطات را پوشش می‌دهند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2013, and the 33rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2013, held in Florence, Italy, in June 2013, as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013. The 20 revised full papers presented were carefully reviewed and selected from 39 submissions. The papers present a wide range of topics combining theory and practice. They cover distributed computing models and formal specification, testing, and verification methods as well as application domains such as application-level distributed systems, telecommunication services, Internet, embedded and real-time systems, and networking and communication security and reliability.
فهرست مطالب
Front Matter....Pages -
Analyzing Interactions of Asynchronously Communicating Software Components....Pages 1-4
Formal Analysis of a Distributed Algorithm for Tracking Progress....Pages 5-19
A Case Study in Formal Verification Using Multiple Explicit Heaps....Pages 20-34
Parameterized Verification of Track Topology Aggregation Protocols....Pages 35-49
Monitoring Networks through Multiparty Session Types....Pages 50-65
Semantic Subtyping for Objects and Classes....Pages 66-82
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language....Pages 83-98
Passive Testing with Asynchronous Communications....Pages 99-113
Input-Output Conformance Simulation ( iocos ) for Model Based Testing....Pages 114-129
Model Checking Distributed Systems against Temporal-Epistemic Specifications....Pages 130-145
Formal Verification of Distributed Branching Multiway Synchronization Protocols....Pages 146-160
An Abstract Framework for Deadlock Prevention in BIP....Pages 161-177
Bounded Model Checking of Graph Transformation Systems via SMT Solving....Pages 178-192
Verification of Directed Acyclic Ad Hoc Networks....Pages 193-208
Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels....Pages 209-224
Asynchronously Communicating Visibly Pushdown Systems....Pages 225-241
A Timed Component Algebra for Services....Pages 242-257
Probabilistic Analysis of the Quality Calculus....Pages 258-272
May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects....Pages 273-288
Lintent: Towards Security Type-Checking of Android Applications....Pages 289-304
Honesty by Typing....Pages 305-320
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Connectives in the History of English
دانلود کتاب Synthetic Biology
دانلود کتاب Around the Tuscan Table: Food, Family, and Gender in Twentieth Century Florence
دانلود کتاب Hellenistic Oratory: Continuity and Change
