دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings
تأیید ، بررسی مدل و تفسیر انتزاعی: چهارمین کنفرانس بین المللی ، VMCAI 2003 نیویورک ، نیویورک ، ایالات متحده آمریکا ، مجموعه مقالات 9 تا 11 ژانویه
زبان : English
نویسندگان : Andreas Podelski (auth.), Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2003
ISBN (شابک) : 3540003487, 9783540003489
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 2575
تعداد صفحات : 328[334]
حجم : 3 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان