خرید و دانلود نسخه کامل کتاب Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

تأیید به کمک رایانه: بیستمین کنفرانس بین المللی ، CAV 2008 پرینستون ، نیویورک ، ایالات متحده ، 7 تا 14 ژوئیه ، مجموعه مقالات

Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

نویسنده: James R. Larus (auth.), Aarti Gupta, Sharad Malik (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2008

تعداد صفحات: 573

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 6 مگابایت