Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings 1st الإصدار تمت الكتابة بواسطة Viktor Kuncak; ‎Andrey Rybalchenko وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Verification, Model Checking, and Abstract Interpretation هي 9783642279409, 3642279406 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642279393, 3642279392. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings 1st الإصدار تمت الكتابة بواسطة Viktor Kuncak; ‎Andrey Rybalchenko وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Verification, Model Checking, and Abstract Interpretation هي 9783642279409, 3642279406 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642279393, 3642279392. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.