جنبه های رسمی نرم افزار کامپوننت: دهمین سمپوزیوم بین المللی، FACS 2013، نانچانگ، چین، 27-29 اکتبر 2013، مقالات منتخب اصلاح شده
Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
نویسنده: José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue (eds.)
ناشر: Springer International Publishing
سال انتشار: 2014
تعداد صفحات: 393
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 14 مگابایت