خرید و دانلود نسخه کامل کتاب Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

تأیید ، بررسی مدل ، و تفسیر چکیده: پانزدهمین کنفرانس بین المللی ، VMCAI 2014 ، سن دیگو ، کالیفرنیا ، ایالات متحده ، 19-21 ژانویه ، 2014 ، مجموعه مقالات

Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

نویسنده: Roderick Bloem, Robert Könighofer (auth.), Kenneth L. McMillan, Xavier Rival (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2014

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

زبان: English

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

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