دانلود کتاب Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
تأیید به کمک رایانه: هجدهمین کنفرانس بین المللی، CAV 2006، سیاتل، WA، ایالات متحده آمریکا، 17-20 اوت 2006. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 564 |
| حجم فایل | 7 مگابایت |
| کد کتاب | 354037406X,9783540374060 |
| نوبت چاپ | 1 |