دانلود کتاب Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
by Dirk Beyer
|
عنوان فارسی: مدل چک کردن نرم افزار: 20 سمپوزیوم بین المللی، SPIN 2013، استونی بروک، نیویورک، ایالات متحده، 8-9 ژوئیه، 2013. مجموعه مقالات |
دانلود کتاب
جزییات کتاب
درباره نویسنده
![](https://upload.wikimedia.org/wikipedia/commons/thumb/a/a3/Dirk_Bauermann_by_Augustas_Didzgalvis.jpg/50px-Dirk_Bauermann_by_Augustas_Didzgalvis.jpg)