VLSI Specification, Verification and Synthesis (The Springer International Series in Engineering and Computer Science)
  • 洋書
  • ポイントキャンペーン

VLSI Specification, Verification and Synthesis (The Springer International Series in Engineering and Computer Science)  Paperback,  言語:ENG

Birtwistle, Graham (EDT)/ Subrahmanyam, P.A. (EDT)

  • ウェブストア価格 ¥24,004(本体¥21,822)
  • Springer-Verlag New York Inc.(2013/08発売)
  • ポイント 1,090pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Current Trends in Hardware Verification and Automated Theorem Proving
  • 洋書
  • ポイントキャンペーン

Current Trends in Hardware Verification and Automated Theorem Proving  Paperback,  言語:ENG

Birtwistle, Graham (EDT)/ Subrahmanyam, P. A. (EDT)

  • ウェブストア価格 ¥24,004(本体¥21,822)
  • Springer Verlag(2012/07発売)
  • ポイント 1,090pt
  • 海外取次在庫