دانلود کتاب 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 تومان