دانلود کتاب Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy
| عنوان فارسی | روش های رسمی برای توسعه سیستم توزیع شده: کنفرانس مشترک بین المللی FORTE / PSTV 2000 IFIP TC6 WG6.1 در مورد فنون توصیف رسمی برای سیستم های توزیع شده و پروتکل های ارتباطی (FORTE XIII) و مشخصات ، آزمایش و تأیید پروتکل (PSTV XX) 10 تا 13 اکتبر 2000 ، پیزا ، ایتالیا |
|---|---|
| عنوان اصلی | Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy |
| ویرایش | 1 |
| ناشر | Springer US |
| نویسنده | Holger Pfeifer (auth.), Tommaso Bolognesi, Diego Latella (eds.) |
| ISBN | 9781475752649, 9780387355337 |
| سال نشر | 2000 |
| زبان | English |
| تعداد صفحات | 412 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 23 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد
نحوه دریافت کتاب
این کتاب نسخه زبان اصلی است و ترجمه فارسی نیست.بعد از تکمیل فرایند خرید می توانید کتاب را دانلود نمایید. درصورت نیاز به تغییر فرمت کتاب به پشتیبان اطلاع دهید.کتاب های تصادفی