دانلود کتاب Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ... Papers
by Antonio Cerone, Marco Roveri
|
عنوان فارسی: مهندسی نرم افزار و روش های رسمی: کارگاه های طبقه بندی شده SEFM 2017: DataMod، FAACS، MSE، CoSim-CPS و FOCLASA، Trento، Italy، 4-5 سپتامبر ... مقاله ها |