خرید و دانلود نسخه کامل کتاب Higher Order Logic and Hardware Verification

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

Higher Order Logic and Hardware Verification

نویسنده: Melham T.F.

ناشر: Cambridge University Press

سال انتشار: 1993

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

زبان: English

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

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