دانلود کتاب Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
by Thomas Ball
|
عنوان فارسی: تایید شده نرم افزار : نظریه ها، ابزار، آزمایش : سومین کنفرانس بین المللی ، VSTTE 2010 ، ادینبورگ ، بریتانیا، 16-19 اوت ، 2010. مجموعه مقالات |