خرید و دانلود نسخه کامل کتاب Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

تأیید نرم افزار عددی: دهمین کارگاه بین المللی، NSV 2017، هایدلبرگ، آلمان، 22-23 ژوئیه، 2017، مجموعه مقالات

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

نویسنده: Abate, Alessandro; Boldo, Sylvie

ناشر: Springer International Publishing Imprint : Springer, Lecture Notes in Computer Science, SpringerLink : Bücher; Lecture notes in computer science 10381, 2017

سال انتشار: 2017

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

زبان: English

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

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