1～3件／全3件 セーフサーチON
  •  
Validation of Evolving Software
  • 洋書

Validation of Evolving Software  Paperback

Chockler, Hana (EDT)/ Kroening, Daniel (EDT)/ Mariani, Leonardo (EDT)

  • ウェブストア価格 ¥11,535（本体¥10,487）
  • Springer International Publishing AG（2016/10発売）
  • ポイント 104pt
  • 海外取次在庫
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 (Theoretical Computer Science and General Issues) （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 (Theoretical Computer Science and General Issues) （2018）  Paperback,  言語：ENG

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

  • ウェブストア価格 ¥12,585（本体¥11,441）
  • Springer International Publishing AG（2018/07発売）
  • ポイント 114pt
  • オンデマンド(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 (Theoretical Computer Science and General Issues) （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 (Theoretical Computer Science and General Issues) （2018）  Paperback,  言語：ENG

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

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