Deductive Software Verification Future Perspectives Reflections On The Occasion - Springer Nature B.V

٢٨٩٫٠٠ ر.س.‏
+ ١١٢٫٤٩ ر.س.‏ الشحن

Deductive Software Verification Future Perspectives Reflections On The Occasion - Springer Nature B.V

  • product image
البائع:

٢٨٩٫٠٠ ر.س.‏

في المخزون
+ ١١٢٫٤٩ ر.س.‏ الشحن

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

طرق الدفع:

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

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

Deductive Software Verification Future Perspectives Reflections On The Occasion - Springer Nature B.V

This Book Presents Reflections On The Occasion Of 20 Years On The Key Project That Focuses On Deductive Software Verification.since The Inception Of The Key Project Two Decades Ago, The Area Of Deductive Verification Has Evolved Considerably. Support For Real World Programming Languages By Deductive Program Verification Tools Has Become Prevalent. This Required To Overcome Significant Theoretical And Technical Challenges To Support Advanced Software Engineering And Programming Concepts.
  • العلامة التجارية: Unbranded
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Paperback
  • اللغة: English
  • المؤلف: Springer Nature B.V
  • عدد الصفحات: 352
  • تاريخ النشر: 2020-12-09
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 469765961-983720897
  • ISBN: 9783030643539
التوصيل

توصيل

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

  • STANDARD: ١١٢٫٤٩ ر.س.‏ - التسليم بين الأربعاء 16 سبتمبر 2026 – الأربعاء 23 سبتمبر 2026

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

الإرجاع

الإرجاع

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

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