مقدمه ای بر تایید رسمی سخت افزار
Introduction to Formal Hardware Verification
نویسنده: Dr. Thomas Kropf (auth.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 1999
تعداد صفحات: 308
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 6 مگابایت