خرید و دانلود نسخه کامل کتاب Verification of Communication Protocols in Web Services: Model-Checking Service Compositions

تأیید پروتکل های ارتباطی در خدمات وب: ترکیبات سرویس بررسی مدل

Verification of Communication Protocols in Web Services: Model-Checking Service Compositions

نویسنده: Zahir Tari, Peter Bertok, Anshuman Mukherjee(auth.)

ناشر: Wiley

سال انتشار: 2013

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

زبان: English

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

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