سنتز منطق و تایید
Logic Synthesis and Verification
نویسنده: Hassoun S., Sasao T. (ed.)
ناشر: Springer
سال انتشار: 2001
تعداد صفحات: 472
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 11 مگابایت
توضیحی برای این کتاب ثبت نشده است.