دانلود کتاب Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
| عنوان فارسی | تشریح رسمی تکنیکها و مشخصات پروتکل، آزمایش و تأیید: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 کنفرانس مشترک بینالمللی تکنیکهای توصیف رسمی برای سیستمهای توزیعشده و پروتکلهای ارتباطی (FORTE XI) و مشخصات پروتکل، تست، آزمایش و تأیید پروتکل VII، پاریس 76، پاریس 96، نوامبر96، فرانسه |
|---|---|
| عنوان اصلی | Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France |
| ویرایش | 1 |
| ناشر | Springer US |
| نویسنده | Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim (auth.), Stan Budkowski, Ana Cavalli, Elie Najm (eds.) |
| ISBN | 9781475752625, 9780387353944 |
| سال نشر | 1998 |
| زبان | English |
| تعداد صفحات | 457 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 18 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
وضعیت : موجود
قیمت : 73,000 تومان
مشاهد کتاب در آمازون
توضیحات
فهرست مطالب
اطلاعات قبل از خربد