خرید و دانلود نسخه کامل کتاب Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97

تکنیک های توصیف رسمی و مشخصات ، آزمایش و تأیید پروتکل: FORTE X / PSTV XVII ’97

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97

نویسنده: Andreas Ulrich, Hartmut König (auth.), Tadanori Mizuno, Norio Shiratori, Teruo Higashino, Atsushi Togashi (eds.)

ناشر: Springer US

سال انتشار: 1997

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

زبان: English

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

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