خرید و دانلود نسخه کامل کتاب 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

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

زبان: English

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

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