Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis: 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27–31, 2025, Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Automated Technology for Verification and Analysis هي 9783032087072, 3032087074 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783032087065, 3032087066. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Automated Technology for Verification and Analysis: 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27–31, 2025, Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Automated Technology for Verification and Analysis هي 9783032087072, 3032087074 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783032087065, 3032087066. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.