لامابوک
  • صفحه اصلی
  • کتاب‌ها
  • Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers
Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers

خرید و دانلود نسخه کامل کتاب Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers

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

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers

نویسنده: Cinzia Bernardeschi, Nicoletta De Francesco (auth.), Agostino Cortesi (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2002

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

زبان: English

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

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

100,000 تومان 63,000 تومان