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

تأیید، بررسی مدل، و تفسیر چکیده: ششمین کنفرانس بین المللی، VMCAI 2005، پاریس، فرانسه، 17-19 ژانویه 2005. مجموعه مقالات

Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings

نویسنده: Patrick Cousot (auth.), Radhia Cousot (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2005

تعداد صفحات: 483 [493]

زبان: English

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

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