1～4件／全4件 セーフサーチON
  •  
Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems) （2006）
  • 洋書
  • ポイントキャンペーン

Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems) （2006）  Paperback,  言語：ENG

Wang, Chao/ Hachtel, Gary D./ Somenzi, Fabio

  • ウェブストア価格 ¥30,353（本体¥27,594）
  • Springer-Verlag New York Inc.（2014/12発売）
  • ポイント 1,375pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logic Synthesis and Verification Algorithms
  • 洋書
  • ポイントキャンペーン

Logic Synthesis and Verification Algorithms  Paperback,  言語：ENG

Hachtel, Gary D./ Somenzi, Fabio

  • ウェブストア価格 ¥21,681（本体¥19,710）
  • Springer-Verlag New York Inc.（2013/03発売）
  • ポイント 985pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
  • 洋書
  • ポイントキャンペーン

Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)  Hardcover,  言語：ENG

Wang, Chao/ Hachtel, Gary D./ Somenzi, Fabio

  • ウェブストア価格 ¥23,849（本体¥21,681）
  • Springer（2006/08発売）
  • ポイント 1,080pt
  • 海外取次在庫
Computer Aided Verification : 15th International Conference, Cav 2003, Boulder, Co, Usa, July 8-12, 2003, Proceedings (Lecture Notes in Computer Scien
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 15th International Conference, Cav 2003, Boulder, Co, Usa, July 8-12, 2003, Proceedings (Lecture Notes in Computer Scien  Paperback,  言語：ENG

Hunt, Warren A., Jr./ Somenzi, Fabio (EDT)/ Hunt, Warren A., Jr. (EDT)

  • ウェブストア価格 ¥11,922（本体¥10,839）
  • Springer Verlag（2003/08発売）
  • ポイント 540pt
  • 海外取次在庫
1～4件／全4件
  •