Computer Aided Verification
  • 洋書

Computer Aided Verification  Paperback

Tasiran, Serdar/ Dillig, Isil

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

Computer Aided Verification  Hardcover

Tasiran, Serdar/ Dillig, Isil

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

Computer Aided Verification  Paperback

Tasiran, Serdar/ Dillig, Isil

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

Computer Aided Verification  Hardcover

Tasiran, Serdar/ Dillig, Isil

  • ウェブストア価格 ¥16,109(本体¥14,645)
  • Saint Philip Street Press(2020/10発売)
  • ポイント 146pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (2013)
  • 洋書

Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Qadeer, Shaz (EDT)/ Tasiran, Serdar (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 109pt
  • 海外取次在庫
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,175(本体¥11,978)
  • Springer Nature Switzerland AG(2019/07発売)
  • ポイント 119pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (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 I (Theoretical Computer Science and General Issues) (2019)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer Nature Switzerland AG(2019/07発売)
  • ポイント 119pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Verified Software. Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers (Lecture Notes in Computer Science) (2024)
  • 洋書
  • 電子版あり

Verified Software. Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Reynolds, Andrew (EDT)/ Tasiran, Serdar (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 109pt
  • 海外取次在庫