خرید و دانلود نسخه کامل کتاب Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols (SpringerBriefs in Applied Sciences and Technology)

تجزیه و تحلیل رسمی با تفسیر انتزاعی: مطالعات موردی در پروتکل های مدرن (SpringerBriefs در علوم و فناوری کاربردی)

Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols (SpringerBriefs in Applied Sciences and Technology)

نویسنده: Benjamin Aziz

ناشر: Springer

سال انتشار: 2021

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

زبان: English

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

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