سنتز منطق و الگوریتم های تایید
Logic Synthesis and Verification Algorithms
نویسنده: Hachtel G.D., Somenzi F.
ناشر: Springer
سال انتشار: 1996
تعداد صفحات: 568
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت
توضیحی برای این کتاب ثبت نشده است.