خرید و دانلود نسخه کامل کتاب Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

تأیید ، بررسی مدل ، و تفسیر چکیده: دهمین کنفرانس بین المللی ، VMCAI 2009 ، ساوانا ، GA ، ایالات متحده آمریکا ، 18-20 ژانویه ، 2009. مجموعه مقالات

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

نویسنده: E. Allen Emerson (auth.), Neil D. Jones, Markus Müller-Olm (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2009

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

زبان: English

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

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