دانلود کتاب Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
by Steve Counsell
|
عنوان فارسی: مهندسی نرم افزار و روش رسمی: SEFM 2013 بصورت عددی کارگاه های آموزشی: مقالات BEAT2، WS-FMDS، FM-RAIL-بوک، MoKMaSD و OpenCert، مادرید، اسپانیا، سپتامبر 23-24، 2013، تجدید نظر انتخاب شده |