Software Engineering and Formal Methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2
تاريخ النشر: 26/02/2015
الناشر: Springer
ترجمة: Carlos Canal
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 436
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783319152004