دانلود کتاب Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Lecture Notes in Computer Science, 4037)
| عنوان فارسی | روشهای رسمی برای سیستمهای توزیعشده مبتنی بر شی باز: هشتمین کنفرانس بینالمللی IFIP WG 6.1، FMOODS 2006، بولونیا، ایتالیا، 14-16 ژوئن، 2006، مجموعه مقالات (یادداشتهای سخنرانی در علوم رایانه، 4037) |
|---|---|
| عنوان اصلی | Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Lecture Notes in Computer Science, 4037) |
| ناشر | Springer |
| نویسنده | Roberto Gorrieri, Heike Wehrheim |
| ISBN | 1403998280, 354034893X |
| سال نشر | 2006 |
| زبان | English |
| تعداد صفحات | 278 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 4 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد