خرید و دانلود نسخه کامل کتاب Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Proceedings, Part I

اعمال اعمال برنامه های رسمی ، تأیید و اعتبار سنجی. REOCAS COLLOQUIUM به افتخار Rocco de Nicola: دوازدهمین سمپوزیوم بین المللی ، ایزولا 2024 ، مجموعه مقالات ، قسمت اول

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Proceedings, Part I

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

ناشر: Springer; Springer Nature

سال انتشار: 2024

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

زبان: English

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

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