دانلود کتاب Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
by Rocco De Nicola
|
عنوان فارسی: مهندسی نرم افزار و روش های رسمی: 14 کنفرانس بین المللی، SEFM 2016، برگزار شد به عنوان بخشی از STAF 2016، وین، اتریش، ژوئیه 4-8، 2016، مجموعه مقالات |