دانلود کتاب Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
دانلود کتاب Model Checking Software: 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings
نرم افزار بررسی مدل: دهمین کارگاه بین المللی اسپین پورتلند، OR، ایالات متحده آمریکا، 9 تا 10 مه، 2003 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 241 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 3540401172,9783540401179 |
| نوبت چاپ | 1 |
