لامابوک
  • صفحه اصلی
  • کتاب‌ها
  • 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

تأیید، بررسی مدل و تفسیر خلاصه: 12th International Conference، VMCAI 2011، Austin، TX، USA، 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

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

زبان: English

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

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

111,000 تومان 77,000 تومان