Polynomial Formal Verification of Arithmetic Circuits (Foundations and Trends® in Electronic Design Automation)
  • 洋書

Polynomial Formal Verification of Arithmetic Circuits (Foundations and Trends® in Electronic Design Automation)  Paperback,  言語:ENG

Mahzoon, Alireza/ Drechsler, Rolf

  • now publishers Inc(2024/09発売)
  • ご注文いただけません
Formal Verification of Structurally Complex Multipliers
  • 洋書

Formal Verification of Structurally Complex Multipliers  Paperback,  言語:ENG

Mahzoon, Alireza/ Große, Daniel/ Drechsler, Rolf

  • ウェブストア価格 ¥20,977(本体¥19,070)
  • Springer International Publishing AG(2024/02発売)
  • ポイント 190pt
  • 海外取次在庫
Formal Verification of Structurally Complex Multipliers (2023)
  • 洋書

Formal Verification of Structurally Complex Multipliers (2023)  Hardcover,  言語:ENG

Mahzoon, Alireza/ Große, Daniel/ Drechsler, Rolf

  • ウェブストア価格 ¥20,977(本体¥19,070)
  • Springer International Publishing AG(2023/02発売)
  • ポイント 190pt
  • 海外取次在庫