دانلود کتاب Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings
49,000 تومان
روش های رسمی برای سیستم های توزیع شده مبتنی بر شی باز: هفتمین کنفرانس بین المللی IFIP WG 6.1، FMOODS 2005، آتن، یونان، 15-17 ژوئن 2005. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 326 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540261818,9783540261810 |
| نوبت چاپ | 1 |
| نویسنده | Daniele Gorla, Gianluigi Zavattaro (eds.), Martin Steffen, Rocco De Nicola, Rosario Pugliese (auth.) |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2005 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 2005، آتن، یونان، 15-17 ژوئن 2005. مجموعه مقالات
این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین المللی IFIP WG 6.1 در مورد روش های رسمی برای سیستم های توزیع شده مبتنی بر شی باز، FMOODS 2005، در آتن، یونان در 15-17 ژوئن 2005 است. کنفرانس FMOODS به عنوان یک رویداد مشترک در فدراسیون با پنجمین کنفرانس بین المللی IFIP WG 6.1 در مورد برنامه های کاربردی توزیع شده و سیستم های متقابل (DAIS 2005).
19 مقاله کامل اصلاح شده ارائه شده همراه با مقاله دعوت شده به دقت بررسی و از بین 91 مقاله ارسالی انتخاب شدند. مقالات در بخش های موضوعی در مورد مدل ها و محاسبات، UML، امنیت، ترکیب و تأیید، تجزیه و تحلیل برنامه های جاوا، خدمات وب، مشخصات و تأیید سازماندهی شده اند.
This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2005, held in Athens, Greece on June 15-17, 2005. The FMOODS conference was held as a joint event in federation with the 5th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2005).
The 19 revised full papers presented together with an invited paper were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on models and calculi, UML, security, composition and verification, analysis of java programs, Web services, specification and verification.
برای فرستادن دیدگاه، باید وارد شده باشید.
محصولات مرتبط
دانلود کتاب Blockchain – ICBC 2019: Second International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
| نوع کالا | کتاب الکترونیکی |
|---|---|
| ناشر | Springer International Publishing |
| تعداد صفحه | 231 |
| حجم فایل | 14.04 مگابایت |
| کد کتاب | 3030234045 , 9783030234041 |
| نوبت چاپ | اولین ویرایش |
نقد و بررسیها
هنوز بررسیای ثبت نشده است.