خرید و دانلود نسخه کامل کتاب Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

تأیید، بررسی مدل و تفسیر خلاصه: 11th International Conference، VMCAI 2010، مادرید، اسپانیا، 17-19 ژانویه 2010. پرونده ها

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

نویسنده: Javier Esparza (auth.), Gilles Barthe, Manuel Hermenegildo (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2010

تعداد صفحات: 397 [406]

زبان: English

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

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