Formal Verification of Object-Oriented Software

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers 1st الإصدار تمت الكتابة بواسطة Bernhard Beckert; ‎Claude Marché وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Verification of Object-Oriented Software هي 9783642180705, 3642180701 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642180699, 3642180698. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers 1st الإصدار تمت الكتابة بواسطة Bernhard Beckert; ‎Claude Marché وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Verification of Object-Oriented Software هي 9783642180705, 3642180701 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642180699, 3642180698. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.