Computer Aided Verification
  • 洋書

Computer Aided Verification  Paperback

Chockler, Hana/ Weissenbacher, Georg

  • ウェブストア価格 ¥12,760(本体¥11,600)
  • Saint Philip Street Press(2020/10発売)
  • ポイント 116pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification
  • 洋書

Computer Aided Verification  Hardcover

Chockler, Hana/ Weissenbacher, Georg

  • ウェブストア価格 ¥15,271(本体¥13,883)
  • Saint Philip Street Press(2020/10発売)
  • ポイント 138pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification
  • 洋書

Computer Aided Verification  Paperback

Weissenbacher, Georg/ Chockler, Hana

  • ウェブストア価格 ¥14,225(本体¥12,932)
  • Saint Philip Street Press(2020/10発売)
  • ポイント 129pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification
  • 洋書

Computer Aided Verification  Hardcover

Weissenbacher, Georg/ Chockler, Hana

  • ウェブストア価格 ¥16,737(本体¥15,216)
  • Saint Philip Street Press(2020/10発売)
  • ポイント 152pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Coverage Metrics for Model Checking (2011. 144 S.)
  • 洋書

Coverage Metrics for Model Checking (2011. 144 S.)  Paperback

Chockler, Hana

  • ウェブストア価格 ¥15,607(本体¥14,189)
  • LAP LAMBERT ACADEMIC PUBLISHING(2011発売)
  • ポイント 141pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Validation of Evolving Software
  • 洋書

Validation of Evolving Software  Paperback

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

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 109pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 119pt
  • オンデマンド(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)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 119pt
  • 海外取次在庫