تأیید رسمی چند جمله ای توابع تقریبی (BestMasters)
Polynomial Formal Verification of Approximate Functions (BestMasters)
نویسنده: Martha Schnieber
ناشر: Springer Vieweg
سال انتشار: 2023
تعداد صفحات: 87
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 6 مگابایت