دانلود کتاب Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
by Dragan Bošnački
|
عنوان فارسی: مدل چک کردن نرم افزار: 23 سمپوزیوم بین المللی، SPIN 2016، شرکت واقع با ETAPS 2016، آیندهوون، هلند، آوریل 7-8، 2016، مجموعه مقالات |