Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Verification, Model Checking, and Abstract Interpretation هي 9783031827037, 3031827031 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783031827020, 3031827023. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Verification, Model Checking, and Abstract Interpretation هي 9783031827037, 3031827031 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783031827020, 3031827023. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.