著者

出版社

SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems)
  • 洋書

SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems)  Hardcover,  言語:ENG

Ganai, M./ Gupta, A.

  • ウェブストア価格 ¥37,815(本体¥34,378)
  • Springer(2007/06発売)
  • ポイント 343pt
  • 海外取次在庫