لامابوک
  • صفحه اصلی
  • کتاب‌ها
  • 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 نیویورک ، نیویورک ، ایالات متحده ، مجموعه مقالات 11-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

تعداد صفحات: 334

زبان: English

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

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

107,000 تومان 70,000 تومان