خرید و دانلود نسخه کامل کتاب Design and Verification of Microprocessor Systems for High-Assurance Applications

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

Design and Verification of Microprocessor Systems for High-Assurance Applications

نویسنده: Matt Kaufmann, J Strother Moore (auth.), David S. Hardin (eds.)

ناشر: Springer US

سال انتشار: 2010

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

زبان: English

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

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