خرید و دانلود نسخه کامل کتاب Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers (Programming and Software Engineering)

نرم افزار تایید شده نظریه ها، ابزارها و آزمایش ها: یازدهمین کنفرانس بین المللی، VSTTE 2019، شهر نیویورک، نیویورک، ایالات متحده آمریکا، 13 تا 14 ژوئیه، 2019، مقالات منتخب اصلاح شده (برنامه نویسی و مهندسی نرم افزار)

Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers (Programming and Software Engineering)

نویسنده: Supratik Chakraborty (editor), Jorge A. Navas (editor)

ناشر: Springer

سال انتشار: 2020

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

زبان: English

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

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