دانلود کتاب تأیید رسمی طراحی سخت افزار نقطه شناور
عنوان کتاب: Formal Verification of Floating-Point Hardware Design / A Mathematical Approach نویسنده: David M. Russinoff حوزه: طراحی سازه, سازه شناور سال انتشار: 2022 تعداد صفحه: 448 زبان اصلی: انگلیسی نوع فایل: pdf حجم فایل: 5 ادامه مطلب