Formal verification : an essential toolkit for modern VLSI design

خرید و دانلود نسخه کامل کتاب Formal verification : an essential toolkit for modern VLSI design

تأیید رسمی: یک جعبه ابزار ضروری برای طراحی مدرن VLSI

Formal verification : an essential toolkit for modern VLSI design

نویسنده: Kumar, M. V. Achutha Kiran; Schubert, Tom; Seligman, Erik

ناشر: Elsevier Science, Morgan Kaufmann

سال انتشار: 2015

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

زبان: English

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

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

107,000 تومان 69,000 تومان