دانلود کتاب Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
by Carlos Canal
|
عنوان فارسی: مهندسی نرم افزار و روش رسمی: SEFM 2014 بصورت عددی کارگاه های آموزشی: مقالات HOFM، SAFOME، OpenCert، MoKMaSD، WS-FMDS، گرنوبل فرانسه، سپتامبر 1-2، 2014، تجدید نظر انتخاب شده |