1～2件／全2件 セーフサーチON
  •  
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Chaudhuri, Swarat (EDT)/ Farzan, Azadeh (EDT)

  • ウェブストア価格 ¥11,148（本体¥10,135）
  • Springer International Publishing AG（2016/07発売）
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Chaudhuri, Swarat (EDT)/ Farzan, Azadeh (EDT)

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