Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Piskac, Ruzica (EDT)/ Rakamarić, Zvonimir (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 198pt
  • 海外取次在庫
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Piskac, Ruzica (EDT)/ Rakamarić, Zvonimir (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 198pt
  • 海外取次在庫
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback

Piskac, Ruzica (EDT)/ Rakamarić, Zvonimir (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 198pt
  • 海外取次在庫
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback

Piskac, Ruzica (EDT)/ Rakamarić, Zvonimir (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 198pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Piskac, Ruzica (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Piskac, Ruzica (EDT)/ Rümmer, Philipp (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2018/11発売)
  • ポイント 218pt
  • 海外取次在庫