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
  • 海外取次在庫