دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
دانلود کتاب تکنیک های رسمی برای سیستم های توزیع شده: چهاردهمین کنفرانس بین المللی IFIP WG 6.1 مشترک ، FMOODS 2012 و 32مین کنفرانس بین المللی IFIP WG 6.1 ، FORTE 2012 ، استکهلم ، سوئد ، 13-16 ژوئن ، 2012. مجموعه مقالات
مشخصات کتاب
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
ویرایش: 1 نویسندگان: Michael Lienhardt, Ivan Lanese (auth.), Holger Giese, Grigore Rosu (eds.) سری: Lecture Notes in Computer Science 7273 Programming and Software Engineering ISBN (شابک) : 9783642307928, 9783642307935 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 278 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 43,000
کلمات کلیدی مربوط به کتاب تکنیک های رسمی برای سیستم های توزیع شده: چهاردهمین کنفرانس بین المللی IFIP WG 6.1 مشترک ، FMOODS 2012 و 32مین کنفرانس بین المللی IFIP WG 6.1 ، FORTE 2012 ، استکهلم ، سوئد ، 13-16 ژوئن ، 2012. مجموعه مقالات: شبکه های ارتباطی کامپیوتری، تکنیک های برنامه نویسی، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های رسمی برای سیستم های توزیع شده: چهاردهمین کنفرانس بین المللی IFIP WG 6.1 مشترک ، FMOODS 2012 و 32مین کنفرانس بین المللی IFIP WG 6.1 ، FORTE 2012 ، استکهلم ، سوئد ، 13-16 ژوئن ، 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکنیک های رسمی برای سیستم های توزیع شده: چهاردهمین کنفرانس بین المللی IFIP WG 6.1 مشترک ، FMOODS 2012 و 32مین کنفرانس بین المللی IFIP WG 6.1 ، FORTE 2012 ، استکهلم ، سوئد ، 13-16 ژوئن ، 2012. مجموعه مقالات
این کتاب مجموعه مقالات داوری چهاردهمین کنفرانس بین‌المللی IFIP WG 6.1 در مورد روش‌های رسمی برای سیستم‌های توزیع شده مبتنی بر شی باز، FMOODS 2012 و سی و دومین کنفرانس بین‌المللی IFIP WG 6.1 در تکنیک‌های رسمی برای سیستم‌های شبکه‌ای و توزیع‌شده20، 12FORTE است. ، در استکهلم، سوئد، در ژوئن 2012، به عنوان یکی از رویدادهای DisCoTec 2012 برگزار شد. 16 مقاله کامل اصلاح شده ارائه شده به دقت بررسی و از بین 42 مقاله ارسالی انتخاب شدند. آنها طیف گسترده ای از موضوعات را با ترکیب تئوری و عمل در حوزه های کاربردی خدمات مخابراتی، اینترنت، سیستم های تعبیه شده و بلادرنگ، امنیت و قابلیت اطمینان شبکه و ارتباطات، شبکه های حسگر، معماری سرویس گرا و خدمات وب پوشش می دهند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and communication security and reliability, sensor networks, service-oriented architecture, and Web services.
فهرست مطالب
Front Matter....Pages -
A Reversible Abstract Machine and Its Space Overhead....Pages 1-17
A Small Model Theorem for Rectangular Hybrid Automata Networks....Pages 18-34
Analysis of May-Happen-in-Parallel in Concurrent Objects....Pages 35-51
Behavioural Equivalences over Migrating Processes with Timers....Pages 52-66
Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs....Pages 67-83
Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata....Pages 84-100
Conformance Testing of Boolean Programs with Multiple Faults....Pages 101-117
Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities....Pages 118-134
Modelling Probabilistic Wireless Networks....Pages 135-151
Noninterference via Symbolic Execution....Pages 152-168
Defining Distances for All Process Semantics....Pages 169-185
Secure Multi-Execution through Static Program Transformation....Pages 186-202
Synchronous Interface Theories and Time Triggered Scheduling....Pages 203-218
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs....Pages 219-234
Verification of Ad Hoc Networks with Node and Communication Failures....Pages 235-250
Verification of Timed Erlang Programs Using McErlang....Pages 251-267
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Plant Guidelines for Technical Management of Chemical Process Safety
دانلود کتاب Life on the Frontier
دانلود کتاب Art in the Light of Conscience
