دانلود کتاب Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
by Domenico Bianculli
|
عنوان فارسی: مهندسی نرم افزار و روشهای رسمی: SEFM 2015 بصورت عددی کارگاه های آموزشی: ATSE، HOFM، MoKMaSD، و بسیار * SCART، نیویورک، بریتانیا، سپتامبر 07-08، 2015. مقالات انتخاب شده تجدید نظر |