دانلود کتاب Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings
49,000 تومان
روشهای رسمی برای سیستمهای توزیعشده مبتنی بر شی باز: هشتمین کنفرانس بینالمللی IFIP WG 6.1، FMOODS 2006، بولونیا، ایتالیا، 14-16 ژوئن، 2006. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 270 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 354034893X,9783540348931 |
| نوبت چاپ | 1 |
| نویسنده | Gian Luigi Ferrari (auth.), Heike Wehrheim (eds.), Massimo Bartoletti, Pierpaolo Degano, Roberto Gorrieri |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2006 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
روشهای رسمی برای سیستمهای توزیعشده مبتنی بر شی باز: هشتمین کنفرانس بینالمللی IFIP WG 6.1، FMOODS 2006، بولونیا، ایتالیا، 14-16 ژوئن، 2006. مجموعه مقالات
این کتاب مجموعه مقالات داوری هشتمین کنفرانس بین المللی IFIP WG 6.1 در مورد روش های رسمی برای سیستم های توزیع شده مبتنی بر شی باز، FMOODS 2006 است که در بولونیا، ایتالیا در ژوئن 2006 برگزار شد.
16 مورد تجدید نظر شده مقالات کامل ارائه شده همراه با یک مقاله دعوت شده و چکیده 2 سخنرانی دعوت شده به دقت بررسی و از بین 51 مورد ارسالی انتخاب شدند. از جمله موضوعاتی که به آنها پرداخته می شود طراحی مبتنی بر مؤلفه و مدل، محاسبات سرویس گرا، کیفیت نرم افزار، پیاده سازی زبان های مدل سازی، مشخصات رسمی، تأیید، اعتبارسنجی، آزمایش و سیستم های سرویس گرا است.
This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy in June 2006.
The 16 revised full papers presented together with an invited paper and abstracts of 2 invited talks were carefully reviewed and selected from 51 submissions. Among the topics addressed are component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.