خرید و دانلود نسخه کامل کتاب Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers (Lecture Notes in Computer Science, 2294)

تأیید، بررسی مدل، و تفسیر چکیده: سومین کارگاه بین المللی، VMCAI 2002، ونیز، ایتالیا، 21-22 ژانویه، 2002، مقالات تجدید نظر شده (یادداشت های سخنرانی در علوم کامپیوتر، 2294)

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers (Lecture Notes in Computer Science, 2294)

نویسنده: Agostino Cortesi (editor)

ناشر: Springer

سال انتشار: 2002

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

زبان: English

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

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