1～2件／全2件 セーフサーチON
  •  
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Lecture Notes in Computer Science) （2018）
  • 洋書

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Lecture Notes in Computer Science) （2018）  Paperback,  言語：ENG

Chockler, Hana (EDT)/ Weissenbacher, Georg (EDT)

  • ウェブストア価格 ¥12,162（本体¥11,057）
  • Springer International Publishing AG（2018/07発売）
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (Lecture Notes in Computer Science) （2018）
  • 洋書

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (Lecture Notes in Computer Science) （2018）  Paperback,  言語：ENG

Chockler, Hana (EDT)/ Weissenbacher, Georg (EDT)

  • ウェブストア価格 ¥12,162（本体¥11,057）
  • Springer International Publishing AG（2018/07発売）
  • ポイント 110pt
  • 海外取次在庫
1～2件／全2件
  •