دانلود کتاب Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
49,000 تومان
روش های رسمی برای سیستم های توزیع شده مبتنی بر شی باز: نهمین کنفرانس بین المللی IFIP WG 6.1، FMOODS 2007، پافوس، قبرس، 6-8 ژوئن 2007. مجموعه مقالات
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 317 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540729194,9783540729198 |
| نوبت چاپ | 1 |
| نویسنده | Einar Broch Johnsen (eds.), Marcello M. Bonsangue, Mariangiola Dezani-Ciancaglini, Mario Coppo, Nobuko Yoshida (auth.) |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2007 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 2007، پافوس، قبرس، 6-8 ژوئن 2007. مجموعه مقالات
این جلد شامل مجموعه مقالات نهمین کنفرانس بین المللی IFIP WG 6.1 در مورد روش های رسمی برای سیستم های توزیع شده مبتنی بر شی باز است (FMOODS 2007). این کنفرانس بخشی از کنفرانسهای فدرال تکنیکهای محاسباتی توزیعشده (DisCoTec)، همراه با نهمین کنفرانس بینالمللی مدلها و زبانهای هماهنگی (COORDINATION2007) و هفتمین کنفرانس بینالمللی IFIP در مورد برنامههای کاربردی توزیعشده و سیستمهای متقابل (DAIS 2007) است. این رویداد توسط دپارتمان علوم کامپیوتر دانشگاه قبرس سازماندهی شد و در پافوس، قبرس طی 6 تا 8 ژوئن 2007 برگزار شد. این رویداد سومین مجموعه کنفرانس فدرال دیسکوتک بود که در ژوئن 2005 در آتن آغاز شد و ادامه یافت. در بولونیا در ژوئن 2006.
This volume contains the proceedings of the Ninth IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007). The conference is part of the federated conferences on Distributed Computing Techniques (DisCoTec), together with the Ninth International Conference on Coordination Models and Languages (COORDINATION2007) and the Seventh IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2007). It was organized by the Department of Computer Science of the University of Cyprus, and it was held in Paphos, Cyprus during June, 6-8, 2007. The event was the third federated DisCoTec conference series, initiated in Athens in June 2005 and continued in Bologna in June 2006.
برای فرستادن دیدگاه، باید وارد شده باشید.
محصولات مرتبط
دانلود کتاب Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS 2019 International Workshops, DPM 2019 and CBT 2019, Luxembourg, September 26–27, 2019, Proceedings
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer International Publishing |
| تعداد صفحه | 404 |
| حجم فایل | 22.75 مگابایت |
| کد کتاب | 3030315002 , 9783030315009 |
| نوبت چاپ | ویرایش اول. 2019 |
نقد و بررسیها
هنوز بررسیای ثبت نشده است.