دانلود کتاب Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE … Programming and Software Engineering)
49,000 تومان
تکنیک های رسمی برای سیستم های توزیع شده: یازدهمین کنفرانس بین المللی مشترک IFIP WG 6.1 FMOODS 2009 و بیست و نهمین کنفرانس بین المللی IFIP WG 6.1 FORTE … برنامه نویسی و مهندسی نرم افزار)
| موضوع اصلی | فن آوری |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| تعداد صفحه | 249 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3642021379,9783642021374 |
| نوبت چاپ | 1 |
| نویسنده | Antónia Lopes, Arnd Poetzsch-Heffter, David Lee |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2009 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 2009 و بیست و نهمین کنفرانس بین المللی IFIP WG 6.1 FORTE … برنامه نویسی و مهندسی نرم افزار)
این کتاب مجموعه مقالات داوری یازدهمین کنفرانس بینالمللی IFIP WG 6.1 در مورد روشهای رسمی برای سیستمهای توزیعشده مبتنی بر شی باز، FMOODS 2009 و بیست و نهمین تکنیکهای رسمی IFIP WG 6.1 برای سیستمهای شبکهای و توزیعشده، Li009، پرتغال، FORTE، FORTE2 است. در ژوئن 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.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.