ساختارها و الگوریتم های جدید داده برای سنتز منطق و تأیید
New Data Structures and Algorithms for Logic Synthesis and Verification
نویسنده: Luca Gaetano Amaru (auth.)
ناشر: Springer International Publishing
سال انتشار: 2017
تعداد صفحات: 162
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت