دانلود کتاب محاسبات کامپیوتری و اثبات های رسمی: تأیید الگوریتم های ممیز شناور با سیستم Coq بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
نام کتاب : Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system
عنوان ترجمه شده به فارسی : محاسبات کامپیوتری و اثبات های رسمی: تأیید الگوریتم های ممیز شناور با سیستم Coq
سری :
نویسندگان : Boldo. Sylvie, Melquiond. Guillaume
ناشر : ISTE Press : Elsevier
سال نشر : 2017
تعداد صفحات : 317
ISBN (شابک) : 9781785481123 , 0081011709
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.