دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

تأیید ، بررسی مدل ، و تفسیر چکیده: نهمین کنفرانس بین المللی ، VMCAI 2008 ، سانفرانسیسکو ، ایالات متحده آمریکا ، 7-9 ژانویه ، 2008. مجموعه مقالات

زبان : English

نویسندگان : Radhia Cousot (auth.), Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2008

ISBN (شابک) : 3540781625, 9783540781622

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

سری : Lecture Notes in Computer Science 4905 : Theoretical Computer Science and General Issues

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

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

فرمت کتاب : pdf

قیمت : 36000 تومان