خرید و دانلود نسخه کامل کتاب Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

نرم‌افزار تایید شده: نظریه‌ها، ابزارها و آزمایش‌ها: هفتمین کنفرانس بین‌المللی، VSTTE 2015، سانفرانسیسکو، کالیفرنیا، ایالات متحده آمریکا، 18 تا 19 ژوئیه، 2015. مقالات منتخب اصلاح شده

Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

نویسنده: Arie Gurfinkel, Sanjit A. Seshia (eds.)

ناشر: Springer International Publishing

سال انتشار: 2016

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

زبان: English

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

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