دانلود کتاب Verified Software: Theories, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
by Philipp Rümmer
|
عنوان فارسی: تایید شده نرم افزار : نظریه ها، ابزار، آزمایش : 5 کنفرانس بین المللی، VSTTE 2013 ، پارک Menlo، CA، USA ، 17-19 مه ، 2013 ، تجدید نظر مقالات انتخاب شده |