خرید و دانلود نسخه کامل کتاب Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

نرم افزار تأیید شده نظریه ها ، ابزارها و آزمایشات: هشتمین کنفرانس بین المللی ، VSTTE 2016 ، تورنتو ، ON ، کانادا ، 17 تا 18 ژوئیه 2016 ، مقالات منتخب بازبینی شده

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

نویسنده: Sandrine Blazy, Marsha Chechik (eds.)

ناشر: Springer International Publishing

سال انتشار: 2016

تعداد صفحات: XIV, 199 [212]

زبان: English

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

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