ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Abstraction Refinement for Large Scale Model Checking

دانلود کتاب اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ

Abstraction Refinement for Large Scale Model Checking

مشخصات کتاب

Abstraction Refinement for Large Scale Model Checking

ویرایش: [1 ed.] 
نویسندگان: , ,   
سری: Integrated Circuits and Systems 
ISBN (شابک) : 0387341552, 9780387341552 
ناشر: Springer 
سال نشر: 2006 
تعداد صفحات: 185 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 Mb

قیمت کتاب (تومان) : 38,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 3


در صورت تبدیل فایل کتاب Abstraction Refinement for Large Scale Model Checking به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ

اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ، تحقیقات اخیر در مورد تکنیک های انتزاعی برای بررسی مدل سیستم دیجیتال بزرگ را خلاصه می کند. با توجه به اندازه سیستم‌های دیجیتال امروزی و ظرفیت الگوریتم‌های تأیید صحت پیشرفته، انتزاع تنها راه‌حل مناسب برای کاربرد موفقیت‌آمیز تکنیک‌های بررسی مدل در طرح‌های مقیاس صنعتی است. این کتاب پیشرفت های تحقیقاتی اخیر در تکنیک های پالایش انتزاع خودکار را شرح می دهد. مجموعه ای از الگوریتم های ارائه شده در این کتاب پیشرفت قابل توجهی را نسبت به هنر قبلی نشان داده است. برخی از آنها قبلاً توسط شرکت های EDA در ابزارهای تأیید تجاری/داخلی خود به کار گرفته شده اند.


توضیحاتی درمورد کتاب به خارجی

Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. This book describes recent research developments in automatic abstraction refinement techniques. The suite of algorithms presented in this book has demonstrated significant improvement over prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی