دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings
تأیید ، بررسی مدل ، و تفسیر چکیده: هفتمین کنفرانس بین المللی ، VMCAI 2006 ، چارلستون ، SC ، ایالات متحده ، 8-10 ژانویه ، 2006. مجموعه مقالات
زبان : English
نویسندگان : Peter Schachte, Harald Søndergaard (auth.), E. Allen Emerson, Kedar S. Namjoshi (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2006
ISBN (شابک) : 3540311394, 9783540311393
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 3855 : Theoretical Computer Science and General Issues
تعداد صفحات : 443[452]
حجم : 4 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان