1～2件／全2件 セーフサーチON
  •  
Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Programming and Software Engineering)  Paperback

Artho, Cyrille (EDT)/ Legay, Axel (EDT)/ Peled, Doron (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer International Publishing AG（2016/09発売）
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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

  • ウェブストア価格 ¥26,468（本体¥24,062）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 240pt
  • 海外取次在庫
1～2件／全2件
  •