Numerical Software Verification 10th International Workshop Nsv 2017 Heide - Springer Nature B.V

٣٬٩٤٩٫٠٠ E£
+ ١٬٢٣٩٫٩٩ E£ الشحن

Numerical Software Verification 10th International Workshop Nsv 2017 Heide - Springer Nature B.V

البائع:
  • product image

٣٬٩٤٩٫٠٠ E£

في المخزون
+ ١٬٢٣٩٫٩٩ E£ الشحن

سياسة الإرجاع لمدة 14 يوما

طرق الدفع:

  • العلامة التجارية: Unbranded
تفاصيل المنتج

تفاصيل المنتج

Numerical Software Verification 10th International Workshop Nsv 2017 Heide - Springer Nature B.V

This Book Constitutes The Proceedings Of The 10th International Workshop On Numerical Software Verification, Nsv 2017, Held In Heidelberg, Germany, In July 2017 - Colocated With Thenbsp;international Workshop On Formal Methods For Rigorous Systems Engineering Of Cyber-physical Systems, Rise4cps 2017, A One-time, Invited-only Event. The 3 Full Papers Presented Together With 3 Short Papers, 2 Keynote Abstracts And 4 Invited Abstracts Were Carefully Reviewed And Selected From Numerous Submissions. The Nsv 2017 Workshop Is Dedicated To The Development Of Logical And Mathematical Techniques For The Reasoning About Programmability And Reliability.
  • العلامة التجارية: Unbranded
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Paperback
  • اللغة: English
  • المؤلف: Springer Nature B.V
  • عدد الصفحات: 140
  • تاريخ النشر: 2017-07-12
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 469772344-983727266
  • ISBN: 9783319635002
التوصيل

توصيل

يُرسل خلال 24 ساعة

  • STANDARD: ١٬٢٣٩٫٩٩ E£ - التسليم بين الاثنين 12 أكتوبر 2026 – الجمعة 16 أكتوبر 2026

يُشحن من المملكة المتحدة.

الإرجاع

الإرجاع

نحن نبذل قصارى جهدنا لضمان أن تصلك المنتجات التي تطلبها بالكامل وطبقاً المواصفات التي حددتها. إلا أنه في حال تلقيك طلب غير كامل أو أغراض تختلف عن تلك التي طلبتها أو كان هناك سبب آخر يدعوك لعدم الرضاء عن الطلب، فيمكنك رد الطلب أو أي منتجات يتضمنها الطلب واسترداد ما دفعته من أجل تلك الأغراض بالكامل.

عرض سياسة الرد الكاملة