1～2件／全2件 セーフサーチON
  •  
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Lecture Notes in Computer Science) （2019）
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Lecture Notes in Computer Science) （2019）  Paperback,  言語：ENG

Dillig, Isil (EDT)/ Tasiran, Serdar (EDT)

  • ウェブストア価格 ¥13,175（本体¥11,978）
  • Springer Nature Switzerland AG（2019/07発売）
  • ポイント 238pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science) （2019）
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science) （2019）  Paperback,  言語：ENG

Dillig, Isil (EDT)/ Tasiran, Serdar (EDT)

  • ウェブストア価格 ¥13,175（本体¥11,978）
  • Springer Nature Switzerland AG（2019/07発売）
  • ポイント 238pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～2件／全2件
  •