خرید و دانلود نسخه کامل کتاب 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

نویسنده: Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim (auth.), Stan Budkowski, Ana Cavalli, Elie Najm (eds.)

ناشر: Springer US

سال انتشار: 1998

تعداد صفحات: 457

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 18 مگابایت