The Secd Microprocessor A Verification Case Study

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

The Secd Microprocessor A Verification Case Study

البائع:
  • product image

٨٬٩٩٠٫٠٠ E£

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

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

طرق الدفع:

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

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

The Secd Microprocessor A Verification Case Study

This Is A Milestone In Machine-assisted Microprocessor Verification. Gordon 20 And Hunt 32 Led The Way With Their Verifications Of Sim Ple Designs, Cohn 12, 13 Followed This With The Verification Of Parts Of The Viper Microprocessor. This Work Illustrates How Much These, And Other, Pioneers Achieved In Developing Tractable Models, Scalable Tools, And A Robust Methodology.
  • العلامة التجارية: Springer Nature B.V
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Hardcover
  • اللغة: English
  • المؤلف: Brian T. Graham
  • عدد الصفحات: 196
  • تاريخ النشر: 1992-05-31
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 556942018-1125184152
  • ISBN: 9780792392453
التوصيل

توصيل

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

  • STANDARD: ١٬٧٠٩٫٩٩ E£ - التسليم بين الخميس 05 نوفمبر 2026 – الخميس 03 ديسمبر 2026

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

الإرجاع

الإرجاع

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

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