دانلود کتاب Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in Computer Science, 4468)
| عنوان فارسی | روش های رسمی برای سیستم های توزیع شده مبتنی بر شی باز: نهمین کنفرانس بین المللی IFIP WG 6.1، FMOODS 2007، پافوس، قبرس، 6-8 ژوئن 2007، مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر، 4468) |
|---|---|
| عنوان اصلی | Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in Computer Science, 4468) |
| ناشر | Springer |
| نویسنده | Marcello M. Bonsangue (editor), Einar Broch Johnsen (editor) |
| ISBN | 9783540729198, 3540729194 |
| سال نشر | 2007 |
| زبان | English |
| تعداد صفحات | 327 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 7 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد