خرید و دانلود نسخه کامل کتاب Current Trends in Hardware Verification and Automated Theorem Proving

روندهای فعلی در تأیید سخت افزار و اثبات قضیه خودکار

Current Trends in Hardware Verification and Automated Theorem Proving

نویسنده: Avra Cohn (auth.), Graham Birtwistle, P. A. Subrahmanyam (eds.)

ناشر: Springer-Verlag New York

سال انتشار: 1989

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

زبان: English

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

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