خرید و دانلود نسخه کامل کتاب Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

تأیید ، بررسی مدل و تفسیر چکیده: چهاردهمین کنفرانس بین المللی ، VMCAI 2013 ، رم ، ایتالیا ، 20 تا 22 ژانویه ، 2013. مجموعه مقالات

Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

نویسنده: Leonardo de Moura, Dejan Jovanović (auth.), Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2013

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

زبان: English

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

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