خرید و دانلود نسخه کامل کتاب Leveraging Applications of Formal Methods, Verification and Validation: Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, October 27–31, 2024, Proceedings, Part IV

برنامه های کاربردی استفاده از روش های رسمی ، تأیید و اعتبارسنجی: روش شناسی مهندسی نرم افزار: دوازدهمین سمپوزیوم بین المللی ، ایزولا 2024 ، 27-31 اکتبر ، 2024 ، مجموعه مقالات ، قسمت چهارم

Leveraging Applications of Formal Methods, Verification and Validation: Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, October 27–31, 2024, Proceedings, Part IV

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

ناشر: Springer

سال انتشار: 2024

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

زبان: English

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

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