خرید و دانلود نسخه کامل کتاب Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

تأیید رسمی نرم افزار شی گرا: کنفرانس بین المللی ، FoVeOOS 2011 ، تورین ، ایتالیا ، 5-7 اکتبر 2011 ، مقاله های منتخب اصلاح شده

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

نویسنده: Anindya Banerjee (auth.), Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2012

تعداد صفحات: 258

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 3 مگابایت