تأیید سیستم های دیجیتالی: مقدمه ای در طراحی سیستم های دیجیتالی صحیح
Verifikation digitaler Systeme: Eine Einführung in den Entwurf korrekter digitaler Systeme
نویسنده: Dr.-Ing. habil Hans Eveking (auth.)
ناشر: Vieweg+Teubner Verlag
سال انتشار: 1991
تعداد صفحات: 312
زبان: German
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 10 مگابایت