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

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Proceedings, Part V

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Proceedings, Part V

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

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

سال انتشار: 2024