newyork

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

دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings (به فارسی: تأیید، بررسی مدل، و تفسیر چکیده: چهارمین کنفرانس بین المللی، VMCAI 2003 نیویورک، نیویورک، ایالات متحده آمریکا، 9 تا 11 ژانویه، 2003 مجموعه مقالات) نوشته شده توسط «Andreas Podelski (auth.) – Lenore D. Zuck – Paul C. Attie – Agostino Cortesi – Supratik Mukhopadhyay (eds.)» اطلاعات کتاب تأیید، بررسی مدل، و تفسیر چکیده: چهارمین کنفرانس بین المللی، VMCAI 2003 نیویورک، نیویورک، ایالات متحده آمریکا، 9 تا 11 ژانویه، 2003 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر:…