دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

تأیید ، بررسی مدل و تفسیر چکیده: هشتمین کنفرانس بین المللی ، VMCAI 2007 ، نیس ، فرانسه ، 14-16 ژانویه ، 2007. مجموعه مقالات

زبان : English

نویسندگان : Gogul Balakrishnan, Thomas Reps (auth.), Byron Cook, Andreas Podelski (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2007

ISBN (شابک) : 3540697357, 9783540697350

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

سری : Lecture Notes in Computer Science 4349

تعداد صفحات : 395[406]

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

فرمت کتاب : pdf

قیمت : 36000 تومان