پیشرفتها در طراحی و تأیید سختافزار: کنفرانس بینالمللی IFIP TC10 WG10.5 درباره سختافزار صحیح و روشهای تأیید، 16–18 اکتبر 1997، مونترال، کانادا
Advances in Hardware Design and Verification: IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods, 16–18 October 1997, Montreal, Canada
نویسنده: Hon F. Li, David K. Probst (eds.)
ناشر: Springer US
سال انتشار: 1997
تعداد صفحات: 311
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 27 مگابایت