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

Computer Aided Verification  Paperback

Tasiran, Serdar/ Dillig, Isil

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

Computer Aided Verification  Hardcover

Tasiran, Serdar/ Dillig, Isil

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

Computer Aided Verification  Paperback

Tasiran, Serdar/ Dillig, Isil

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

Computer Aided Verification  Hardcover

Tasiran, Serdar/ Dillig, Isil

  • ウェブストア価格 ¥15,385（本体¥13,987）
  • Saint Philip Street Press（2020/10発売）
  • ポイント 139pt
  • オンデマンド(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,585（本体¥11,441）
  • Springer Nature Switzerland AG（2019/07発売）
  • ポイント 114pt
  • オンデマンド(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)

  • ウェブストア価格 ¥12,585（本体¥11,441）
  • Springer Nature Switzerland AG（2019/07発売）
  • ポイント 114pt
  • オンデマンド(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,535（本体¥10,487）
  • Springer International Publishing AG（2018/01発売）
  • ポイント 104pt
  • 海外取次在庫
1～7件／全7件
  •