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

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

زبان : English

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

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2004

ISBN (شابک) : 9783540208037, 9783540246220, 3540208038

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

سری : Lecture Notes in Computer Science 2937

تعداد صفحات : 325[343]

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

فرمت کتاب : pdf

قیمت : 36000 تومان