Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part I (Lecture Notes in Computer Science 15931)
  • 洋書
  • 予約

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

Herausgegeben:Piskac, Ruzica/Rakamaric, Zvonimir

  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; COMMUN(2025/08発売)
  • ご注文いただけません
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part II (Lecture Notes in Computer Science 15932)
  • 洋書
  • 予約

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

Herausgegeben:Piskac, Ruzica/Rakamaric, Zvonimir

  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; COMMUN(2025/08発売)
  • ご注文いただけません
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part III (Lecture Notes in Computer Science 15933)
  • 洋書
  • 予約

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

Herausgegeben:Piskac, Ruzica/Rakamaric, Zvonimir

  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; COMMUN(2025/08発売)
  • ご注文いただけません
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part IV (Lecture Notes in Computer Science 15934)
  • 洋書
  • 予約

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

Herausgegeben:Piskac, Ruzica/Rakamaric, Zvonimir

  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; COMMUN(2025/08発売)
  • ご注文いただけません
Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2024)
  • 洋書

Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Gurfinkel, Arie (EDT)/ Ganesh, Vijay (EDT)

  • ウェブストア価格 ¥10,346(本体¥9,406)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 94pt
  • 海外取次在庫
Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III (Lecture Notes in Computer Science) (2024)
  • 洋書

Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Gurfinkel, Arie (EDT)/ Ganesh, Vijay (EDT)

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