دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
تأیید ، بررسی مدل ، و تفسیر چکیده: دهمین کنفرانس بین المللی ، VMCAI 2009 ، ساوانا ، GA ، ایالات متحده آمریکا ، 18-20 ژانویه ، 2009. مجموعه مقالات
زبان : English
نویسندگان : E. Allen Emerson (auth.), Neil D. Jones, Markus Müller-Olm (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2009
ISBN (شابک) : 3540938990, 9783540938996
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 5403 : Theoretical Computer Science and General Issues
تعداد صفحات : 381[391]
حجم : 4 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان