Computer Aided Verification
  • 洋書

Computer Aided Verification  Paperback

Tasiran, Serdar/ Dillig, Isil

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

Computer Aided Verification  Hardcover

Tasiran, Serdar/ Dillig, Isil

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

Computer Aided Verification  Paperback

Tasiran, Serdar/ Dillig, Isil

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

Computer Aided Verification  Hardcover

Tasiran, Serdar/ Dillig, Isil

  • ウェブストア価格 ¥16,315(本体¥14,832)
  • Saint Philip Street Press(2020/10発売)
  • ポイント 148pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Theoretical Computer Science and General Issues) (2019)
  • 洋書

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Theoretical Computer Science and General Issues) (2019)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥13,345(本体¥12,132)
  • Springer Nature Switzerland AG(2019/07発売)
  • ポイント 121pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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,345(本体¥12,132)
  • Springer Nature Switzerland AG(2019/07発売)
  • ポイント 121pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dillig, Isil (EDT)/ Palsberg, Jens (EDT)

  • ウェブストア価格 ¥12,233(本体¥11,121)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 111pt
  • 海外取次在庫