مشخصات و تأیید پروتکل ارتباطی
Communication Protocol Specification and Verification
نویسنده: Richard Lai, Ajin Jirachiefpattana (auth.)
ناشر: Springer US
سال انتشار: 1998
تعداد صفحات: 314
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 10 مگابایت