مشخصات پروتکل ، آزمایش و تأیید XIV
Protocol Specification, Testing and Verification XIV
نویسنده: Klaus Havelund, Kim Guldstrand Larsen (auth.), Son T. Vuong, Samuel T. Chanson (eds.)
ناشر: Springer US
سال انتشار: 1995
تعداد صفحات: 404 [398]
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 12 مگابایت