خرید و دانلود نسخه کامل کتاب Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
قیمت اصلی 159,000 تومان بود.84,000 تومانقیمت فعلی 84,000 تومان است.
تعداد فروش: 70
| عنوان فارسی |
تکنیک های رسمی برای سیستم های توزیع شده: مشترک 12th IFIP WG 6.1 کنفرانس بین المللی، FMOODS 2010 و 30th IFIP WG 6.1 کنفرانس بین المللی، FORTE 2010، آمستردام، هلند، 7-9 ژوئن، 2010. پرونده ها |
|---|---|
| عنوان اصلی | Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Gerard J. Holzmann (auth.), John Hatcliff, Elena Zucca (eds.) |
| ISBN | 3642134637, 9783642134630 |
| سال نشر | 2010 |
| زبان | English |
| تعداد صفحات | 243 |
| دسته | فن آوری |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 3 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات داوری دوازدهمین کنفرانس بینالمللی IFIP WG 6.1 در مورد روشهای رسمی برای سیستمهای توزیع شده مبتنی بر شی باز، FMOODS 2010 و سیامین تکنیکهای رسمی IFIP WG 6.1 برای سیستمهای شبکهای و توزیعشده، در Am2010TE، در Am2010TE برگزار شد. هلند، در ژوئن 2010. 13 مقاله کامل اصلاح شده همراه با 6 مقاله کوتاه و چکیده یک سخنرانی دعوت شده به دقت بررسی و از بین 38 مقاله ارسالی انتخاب شدند. مقالات در بخش های موضوعی در مورد مدل سازی رسمی UML سازماندهی شده اند. اجزاء و معماری؛ جبر فرآیند زمان بندی شده؛ اتوماتای زماندار و هیبریدی؛ منطق و تحلیل برنامه؛ و استدلال در مورد سیستم های توزیع شده.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.