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
افزودن به بوکمارک
اشتراک گذاری
0 دیدگاه کاربران
5
(0)
مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید
این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
گزارش تخلف
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2011
نویسنده
Ranjit Jhala; David Schmidtشابک
9783642182754
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید
دیدگاه کاربران