لامابوک
  • صفحه اصلی
  • کتاب‌ها
  • Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings

خرید و دانلود نسخه کامل کتاب Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings

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

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings

نویسنده: Andreas Podelski (auth.), Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2003

تعداد صفحات: 328 [335]

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 22 مگابایت

98,000 تومان 66,000 تومان