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,945（本体¥28,132）
  • Springer-Verlag New York Inc.（2014/12発売）
  • ポイント 281pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logic Synthesis and Verification Algorithms
  • 洋書

Logic Synthesis and Verification Algorithms  Paperback,  言語：ENG

Hachtel, Gary D./ Somenzi, Fabio

  • ウェブストア価格 ¥22,102（本体¥20,093）
  • Springer-Verlag New York Inc.（2013/03発売）
  • ポイント 200pt
  • オンデマンド(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

  • ウェブストア価格 ¥24,313（本体¥22,103）
  • Springer（2006/08発売）
  • ポイント 221pt
  • 海外取次在庫
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)

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