خرید و دانلود نسخه کامل کتاب Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

تأیید رایانه: بیست و چهارمین کنفرانس بین المللی ، CAV 2012 ، برکلی ، کالیفرنیا ، ایالات متحده ، 7-13 ژوئیه ، 2012 مجموعه مقالات

Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

نویسنده: Wolfgang Thomas (auth.), P. Madhusudan, Sanjit A. Seshia (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2012

تعداد صفحات: 789 [804]

زبان: English

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

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