دانلود کتاب Formal Methods for Protocol Engineering and Distributed Systems: FORTE XII / PSTV XIX’99 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX) October 5–8, 1999, Beijing, China
| عنوان فارسی | روشهای رسمی برای مهندسی پروتکل و سیستمهای توزیعشده: FORTE XII / PSTV XIX’99 IFIP TC6 WG6.1 کنفرانس مشترک بینالمللی تکنیکهای توصیف رسمی برای سیستمهای توزیعشده و پروتکلهای ارتباطی (FORTE XII) و مشخصات پروتکل، تست و تأیید پروتکل، 19 اکتبر، تست و تأیید X8 |
|---|---|
| عنوان اصلی | Formal Methods for Protocol Engineering and Distributed Systems: FORTE XII / PSTV XIX’99 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX) October 5–8, 1999, Beijing, China |
| ویرایش | 1 |
| ناشر | Springer US |
| نویسنده | A. Petrenko, S. Boroday, R. Groz (auth.), Jianping Wu, Samuel T. Chanson, Qiang Gao (eds.) |
| ISBN | 9781475752700, 9780387355788 |
| سال نشر | 1999 |
| زبان | English |
| تعداد صفحات | 478 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 20 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد