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

استفاده از کاربردهای روش های رسمی، تأیید و اعتبارسنجی (یادداشت های سخنرانی در علوم رایانه، 13036)

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science, 13036)

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

ناشر: Springer

سال انتشار: 2021

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

زبان: English

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

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