لامابوک
  • صفحه اصلی
  • کتاب‌ها
  • Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

خرید و دانلود نسخه کامل کتاب Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

تأیید، بررسی مدل، و تفسیر چکیده: دوازدهمین کنفرانس بین المللی، VMCAI 2011، آستین، TX، ایالات متحده، 23-25 ​​ژانویه 2011. مجموعه مقالات

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

نویسنده: David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2011

تعداد صفحات: 419 [429]

زبان: English

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

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

105,000 تومان 74,000 تومان