Scalable Hardware Verification With Symbolic Simulation

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

Scalable Hardware Verification With Symbolic Simulation

البائع:
  • product image

١١٬٠٩٠٫٠٠ E£

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

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

طرق الدفع:

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

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

Scalable Hardware Verification With Symbolic Simulation

This Book Is Intended As An Innovative Overview Of Current Formal Verification Methods, Combined With An In-depth Analysis Of Some Advanced Techniques To Improve The Scalability Of These Methods, And Close The Gap Between Design And Verification In Computer-aided Design. Formal Verification: Scalable Hardware Verification With Symbolic Simulationnbsp;explains Current Formal Verification Methods And Provides An In-depth Analysis Of Some Advanced Techniques To Improve The Scalability Of These Methods And Close The Gap Between Design And Verification In Computer-aided Design. Itnbsp;provides The Theoretical Background Required To Present Such Methods And Advanced Techniques, I.e.
  • العلامة التجارية: Springer Nature B.V
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Hardcover
  • اللغة: English
  • المؤلف: Valeria Bertacco
  • عدد الصفحات: 200
  • تاريخ النشر: 2005-12-23
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 550927880-1115606269
  • ISBN: 9780387244112
التوصيل

توصيل

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

  • STANDARD: ١٬٧١٧٫٤٩ E£ - التسليم بين الاثنين 02 نوفمبر 2026 – الاثنين 30 نوفمبر 2026

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

الإرجاع

الإرجاع

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

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