Formal Verification of Object-Oriented Software

Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers 1st الإصدار تمت الكتابة بواسطة Bernhard Beckert; Ferruccio Damiani; Dilian Gurov وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Verification of Object-Oriented Software هي 9783642317620, 3642317626 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642317613, 3642317618. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers 1st الإصدار تمت الكتابة بواسطة Bernhard Beckert; Ferruccio Damiani; Dilian Gurov وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Verification of Object-Oriented Software هي 9783642317620, 3642317626 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642317613, 3642317618. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.