خرید و دانلود نسخه کامل کتاب Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

جنبه های رسمی نرم افزار کامپوننت: نهمین سمپوزیوم بین المللی ، FACS 2012 ، Mountain View ، کالیفرنیا ، ایالات متحده آمریکا ، 12 تا 14 سپتامبر 2012. مقالات منتخب اصلاح شده

Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

نویسنده: Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky (auth.), Corina S. Păsăreanu, Gwen Salaün (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2013

تعداد صفحات: 277 [285]

زبان: English

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

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