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

  • ウェブストア価格 ¥12,822(本体¥11,657)
  • now publishers Inc(2024/09発売)
  • ポイント 116pt
  • 海外取次在庫
Formal Verification of Structurally Complex Multipliers
  • 洋書

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

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

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

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

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

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