1～3件／全3件 セーフサーチON
  •  
Runtime Verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings (Programming and Software Engineering) （2015）
  • 洋書
  • 電子版あり

Runtime Verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings (Programming and Software Engineering) （2015）  Paperback

Bartocci, Ezio (EDT)/ Majumdar, Rupak (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer International Publishing AG（2015/09発売）
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Theoretical Computer Science and General Issues)  Paperback

Majumdar, Rupak (EDT)/ Kuncak, Viktor (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer International Publishing AG（2017/07発売）
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Majumdar, Rupak (EDT)/ Kuncak, Viktor (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer International Publishing AG（2017/07発売）
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •