خرید و دانلود نسخه کامل کتاب Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends (Lecture Notes in Computer Science, 12479)

اعمال نفوذ روش‌های رسمی، تأیید و اعتبارسنجی: ابزارها و روندها (یادداشت‌های سخنرانی در علوم رایانه، 12479)

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends (Lecture Notes in Computer Science, 12479)

نویسنده: Tiziana Margaria (editor), Bernhard Steffen (editor)

ناشر: Springer

سال انتشار: 2021

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

زبان: English

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

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