دانلود کتاب Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
تأیید به کمک رایانه: شانزدهمین کنفرانس بین المللی، CAV 2004، بوستون، MA، ایالات متحده آمریکا، 13-17 ژوئیه، 2004. مجموعه مقالات
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 536 |
| حجم فایل | 10 مگابایت |
| کد کتاب | 3540223428,9783540223429,9783540278139 |
| نوبت چاپ | 1 |
