خرید و دانلود نسخه کامل کتاب Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

تأیید ، بررسی مدل و تفسیر چکیده: سیزدهمین کنفرانس بین المللی ، VMCAI 2012 ، فیلادلفیا ، پنسیلوانیا ، ایالات متحده ، 22-24 ژانویه ، 2012. مجموعه مقالات

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

نویسنده: Ahmed Bouajjani, Cezara Drăgoi (auth.), Viktor Kuncak, Andrey Rybalchenko (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2012

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

زبان: English

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

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