1～7件／全7件 セーフサーチON
  •  
Computer Aided Verification
  • 洋書

Computer Aided Verification  Paperback

Tasiran, Serdar/ Dillig, Isil

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

Computer Aided Verification  Hardcover

Tasiran, Serdar/ Dillig, Isil

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

Computer Aided Verification  Paperback

Tasiran, Serdar/ Dillig, Isil

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

Computer Aided Verification  Hardcover

Tasiran, Serdar/ Dillig, Isil

  • ウェブストア価格 ¥15,695（本体¥14,269）
  • Saint Philip Street Press（2020/10発売）
  • ポイント 142pt
  • オンデマンド(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)

  • ウェブストア価格 ¥12,838（本体¥11,671）
  • Springer Nature Switzerland AG（2019/07発売）
  • ポイント 116pt
  • オンデマンド(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)

  • ウェブストア価格 ¥12,838（本体¥11,671）
  • Springer Nature Switzerland AG（2019/07発売）
  • ポイント 116pt
  • オンデマンド(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)

  • ウェブストア価格 ¥11,767（本体¥10,698）
  • Springer International Publishing AG（2018/01発売）
  • ポイント 106pt
  • 海外取次在庫
1～7件／全7件
  •