دانلود کتاب Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
by Arie Gurfinkel
|
عنوان فارسی: نرم افزار تایید شده: نظریه ها، ابزار، و آزمایش: 7 کنفرانس بین المللی، VSTTE 2015، سان فرانسیسکو، کالیفرنیا، ایالات متحده آمریکا، 18-19 ژوئیه، 2015. تجدید نظر مقالات انتخاب شده |