خرید و دانلود نسخه کامل کتاب Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

نرم افزار تایید شده نظریه ها، ابزارها و تجربیات: نهمین کنفرانس بین المللی، VSTTE 2017، هایدلبرگ، آلمان، 22-23 ژوئیه، 2017، مقالات منتخب اصلاح شده

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

نویسنده: Andrei Paskevich,Thomas Wies (eds.)

ناشر: Springer International Publishing

سال انتشار: 2017

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

زبان: English

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

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