خرید و دانلود نسخه کامل کتاب Reasoning in Boolean Networks: Logic Synthesis and Verification using Testing Techniques

استدلال در شبکه های بولی: سنتز منطق و تأیید با استفاده از روش های تست

Reasoning in Boolean Networks: Logic Synthesis and Verification using Testing Techniques

نویسنده: Wolfgang Kunz, Dominik Stoffel (auth.)

ناشر: Springer US

سال انتشار: 1997

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

زبان: English

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

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