خرید و دانلود نسخه کامل کتاب Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

تأیید رسمی نرم افزار شی گرا: کنفرانس بین المللی ، FoVeOOS 2010 ، پاریس ، فرانسه ، 28 تا 30 ژوئن 2010 ، مقاله های منتخب اصلاح شده

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

نویسنده: June Andronick (auth.), Bernhard Beckert, Claude Marché (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2011

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

زبان: English

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

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