خرید و دانلود نسخه کامل کتاب Formal Equivalence Checking and Design Debugging

بررسی عدالت انطباق و طراحی اشکال زدایی

Formal Equivalence Checking and Design Debugging

نویسنده: Shi-Yu Huang, Kwang-Ting (Tim) Cheng (auth.)

ناشر: Springer US

سال انتشار: 1998

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

زبان: English

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

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