خرید و دانلود نسخه کامل کتاب Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings
قیمت اصلی 159,000 تومان بود.84,000 تومانقیمت فعلی 84,000 تومان است.
تعداد فروش: 73
| عنوان فارسی |
روش های رسمی برای سیستم های توزیع شده مبتنی بر شیء باز: هشتمین کنفرانس بین المللی IFIP WG 6.1 ، FMOODS 2006 ، بولونیا ، ایتالیا ، 14-16 ژوئن ، 2006. مجموعه مقالات |
|---|---|
| عنوان اصلی | Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari (auth.), Roberto Gorrieri, Heike Wehrheim (eds.) |
| ISBN | 354034893X, 9783540348931 |
| سال نشر | 2006 |
| زبان | English |
| تعداد صفحات | 275 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 4 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات داوری هشتمین کنفرانس بین المللی IFIP WG 6.1 در مورد روش های رسمی برای سیستم های توزیع شده مبتنی بر شی باز، FMOODS 2006 است که در بولونیا، ایتالیا در ژوئن 2006 برگزار شد.
16 مورد تجدید نظر شده مقالات کامل ارائه شده همراه با یک مقاله دعوت شده و چکیده 2 سخنرانی دعوت شده به دقت بررسی و از بین 51 مورد ارسالی انتخاب شدند. از جمله موضوعاتی که به آنها پرداخته میشود، طراحی مبتنی بر مؤلفه و مدل، محاسبات سرویسمحور، کیفیت نرمافزار، پیادهسازی زبانهای مدلسازی، مشخصات رسمی، تأیید، اعتبارسنجی، آزمایش، و سیستمهای سرویسگرا هستند.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.