1～3件／全3件 セーフサーチON
  •  
Software Reliability Methods
  • 洋書
  • ポイントキャンペーン

Software Reliability Methods  Paperback,  言語：ENG

Peled, Doron A./ Clarke, E. M. (FRW)

  • ウェブストア価格 ¥11,922（本体¥10,839）
  • Springer（2011/11発売）
  • ポイント 540pt
  • 海外取次在庫
Automated Technology for Verification and Analysis : Third International Symposium, Atva 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture
  • 洋書
  • ポイントキャンペーン

Automated Technology for Verification and Analysis : Third International Symposium, Atva 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture  Paperback,  言語：ENG

Peled, Doron A. (EDT)/ Tsay, Yih-kuen (EDT)

  • ウェブストア価格 ¥11,922（本体¥10,839）
  • Springer-Verlag New York Inc（2005/12発売）
  • ポイント 540pt
  • 海外からお取り寄せ（通常6～9週間）
Computer Aided Verification, CAV 2004 : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings (Lecture Notes in Computer Science Vol.3114) （2004. XII, 536 p. 23,5 cm）
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification, CAV 2004 : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings (Lecture Notes in Computer Science Vol.3114) （2004. XII, 536 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by Rajeev Alur and Doron A. Peled

  • ウェブストア価格 ¥27,997（本体¥25,452）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 1,270pt
  • 海外取次在庫
1～3件／全3件
  •