خرید و دانلود نسخه کامل کتاب Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

تأیید ، بررسی مدل و تفسیر انتزاعی: پنجمین کنفرانس بین المللی ، VMCAI 2004 ونیز ، ایتالیا ، مقالات 11 تا 13 ژانویه

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

نویسنده: Joshua D. Guttman (auth.), Bernhard Steffen, Giorgio Levi (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2004

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

زبان: English

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

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