Formal Semantics And Proof Techniques For Optimizing Vhdl Models

٦٤٫٠٠٠ د.ب.‏
+ ١٢٫٤٩٠ د.ب.‏ الشحن

Formal Semantics And Proof Techniques For Optimizing Vhdl Models

البائع:
  • product image

٦٤٫٠٠٠ د.ب.‏

في المخزون
+ ١٢٫٤٩٠ د.ب.‏ الشحن

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

طرق الدفع:

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

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

Formal Semantics And Proof Techniques For Optimizing Vhdl Models

Written Expressly For Hardware Designers, This Book Presents A Formal Model Of Vhdl Clearly Specifying Both The Static And Dynamic Semantics Of Vhdl. It Provides A Mathematical Framework For Representing Vhdl Constructs And Shows How Those Constructs Can Be Formally Manipulated To Reason About Vhdl.
  • العلامة التجارية: Springer Nature B.V
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Hardcover
  • اللغة: English
  • المؤلف: Kothanda Umamageswaran
  • عدد الصفحات: 184
  • تاريخ النشر: 1998-11-30
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 556932932-1125171388
  • ISBN: 9780792383758
التوصيل

توصيل

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

  • STANDARD: ١٢٫٤٩٠ د.ب.‏ - التسليم بين الاثنين 09 نوفمبر 2026 – الاثنين 07 ديسمبر 2026

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

الإرجاع

الإرجاع

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

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