خرید و دانلود نسخه کامل کتاب Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

تأیید ، بررسی مدل ، و تفسیر چکیده: هشتمین کنفرانس بین المللی ، VMCAI 2007 ، نیس ، فرانسه ، 14-16 ژانویه ، 2007. مجموعه مقالات

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

نویسنده: Gogul Balakrishnan, Thomas Reps (auth.), Byron Cook, Andreas Podelski (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2007

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

زبان: English

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

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