خرید و دانلود نسخه کامل کتاب Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Proceedings, Part III

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

ناشر: Springer Nature Switzerland AG, Lecture Notes in Computer Science, 1, 2024

سال انتشار: 2024