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

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

زبان : English

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

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2002

ISBN (شابک) : 3540436316, 9783540436317

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 2294

تعداد صفحات : 331[339]

حجم : 2 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان