دانلود کتاب Abstraction Refinement for Large Scale Model Checking
کتاب اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ نسخه زبان اصلی
دانلود کتاب اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Abstraction Refinement for Large Scale Model Checking
نام کتاب : Abstraction Refinement for Large Scale Model Checking
ویرایش : 1
عنوان ترجمه شده به فارسی : اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ
سری : Integrated Circuits and Systems
نویسندگان : Chao Wang, Gary D. Hachtel, Fabio Somenzi
ناشر : Springer
سال نشر : 2006
تعداد صفحات : 185
ISBN (شابک) : 0387341552 , 9780387341552
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 9 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی