Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Automated Technology for Verification and Analysis هي 9783031787508, 3031787501 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783031787492, 3031787498. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Automated Technology for Verification and Analysis هي 9783031787508, 3031787501 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783031787492, 3031787498. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.