دانلود کتاب Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
by Thomas Ball
|
عنوان فارسی: مدل چک کردن نرم افزار : 19 بین المللی کارگاه، SPIN 2012 ، آکسفورد، بریتانیا، 23-24 ژوئیه ، 2012. مجموعه مقالات |