Decision Procedures An Algorithmic Point Of View - Daniel Kroening

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

Decision Procedures An Algorithmic Point Of View - Daniel Kroening

البائع:
  • product image

٢٬٨٩٩٫٠٠ E£

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

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

طرق الدفع:

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

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

Decision Procedures An Algorithmic Point Of View - Daniel Kroening

A Decision Procedure Is An Algorithm That, Given A Decision Problem, Terminates With A Correct Yesno Answer. Here, The Authors Focus On Theories That Are Expressive Enough To Model Real Problems, But Are Still Decidable. Specifically, The Book Concentrates On Decision Procedures For First-order Theories That Are Commonly In Automated Verification And Reasoning, Theorem-proving, Compiler Optimization And Operations Research.
  • العلامة التجارية: Unbranded
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Hardcover
  • اللغة: English
  • المؤلف: Daniel Kroening
  • عدد الصفحات: 380
  • تاريخ النشر: 2017-01-27
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 469775809-983730733
  • ISBN: 9783662504963
التوصيل

توصيل

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

  • STANDARD: ١٬٣٦٥٫٤٩ E£ - التسليم بين الجمعة 25 سبتمبر 2026 – الخميس 01 أكتوبر 2026

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

الإرجاع

الإرجاع

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

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