خرید و دانلود نسخه کامل کتاب Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October ... Part IV (Lecture Notes in Computer Science)

استفاده از روش‌های رسمی، تأیید و اعتبارسنجی. تمرین: یازدهمین سمپوزیوم بین المللی، ISoLA 2022، رودز، یونان، اکتبر ... قسمت چهارم (یادداشت های سخنرانی در علوم کامپیوتر)

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October ... Part IV (Lecture Notes in Computer Science)

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

ناشر: Springer

سال انتشار: 2022

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

زبان: English

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

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