محاسبات علمی با تأیید خودکار نتیجه
Scientific Computing with Automatic Result Verification
نویسنده: E. Adams and U. Kulisch (Eds.)
ناشر: Academic Press
سال انتشار: 1993
تعداد صفحات: 625
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 8 مگابایت