دانلود کتاب 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. مجموعه مقالات) نوشته شده توسط «David Kitchin – Adrian Quark – William Cook – Jayadev Misra (auth.) – David Lee – Antónia Lopes – Arnd Poetzsch-Heffter (eds.)»
اطلاعات کتاب تکنیک های رسمی برای سیستم های توزیع شده: یازدهمین کنفرانس بین المللی مشترک IFIP WG 6.1 FMOODS 2009 و بیست و نهمین کنفرانس بین المللی IFIP WG 6.1 FORTE 2009، لیسبون، پرتغال، 9-12 ژوئن، 2009. مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: David Kitchin – Adrian Quark – William Cook – Jayadev Misra (auth.) – David Lee – Antónia Lopes – Arnd Poetzsch-Heffter (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2009
تعداد صفحه: 249
حجم کتاب: 4 مگابایت
کد کتاب: 3642021379 , 9783642021374
نوبت چاپ: 1
توضیحات کتاب تکنیک های رسمی برای سیستم های توزیع شده: یازدهمین کنفرانس بین المللی مشترک 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.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.