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

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

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, ... Part II (Lecture Notes in Computer Science)

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

ناشر: Springer

سال انتشار: 2022

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

زبان: English

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

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