Automated Theorem Proving In Software Engineering

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

Automated Theorem Proving In Software Engineering

البائع:
  • product image

٢٩٩٫٠٠ ر.ق.‏

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

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

طرق الدفع:

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

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

Automated Theorem Proving In Software Engineering

Growing Demands For The Quality, Safety, And Security Of Software Can Only Be Satisfied By The Rigorous Application Of Formal Methods During Software Design. This Book Methodically Investigates The Potential Of First-order Logic Automated Theorem Provers For Applications In Software Engineering. Illustrated By Complete Case Studies On Protocol Verification, Verification Of Security Protocols, And Logic-based Software Reuse, This Book Provides Techniques For Assessing The Provers Capabilities And For Selecting And Developing An Appropriate Interface Architecture.
  • العلامة التجارية: Springer Nature B.V
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Hardcover
  • اللغة: English
  • المؤلف: Springer Nature B.V
  • عدد الصفحات: 250
  • تاريخ النشر: 2001-06-20
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 557238648-1125508316
  • ISBN: 9783540679899
التوصيل

توصيل

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

  • STANDARD: ١١٢٫٤٩ ر.ق.‏ - التسليم بين الثلاثاء 10 نوفمبر 2026 – الثلاثاء 08 ديسمبر 2026

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

الإرجاع

الإرجاع

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

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