دانلود کتاب Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings
دانلود کتاب Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings
دانلود کتاب SPIN Model Checking and Software Verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30 – September 1, 2000. Proceedings
بررسی مدل اسپین و تأیید نرمافزار: هفتمین کارگاه بینالمللی اسپین، استنفورد، کالیفرنیا، ایالات متحده آمریکا، 30 اوت - 1 سپتامبر 2000. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 346 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540410309,9783540410300 |
| نوبت چاپ | 1 |