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,205(本体¥9,278)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 92pt
  • 海外取次在庫
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,205(本体¥9,278)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 92pt
  • 海外取次在庫
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part I (Lecture Notes in Computer Science 15931) (2025. 500 S. Approx. 500 p. 235 mm)
  • 洋書

Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part I (Lecture Notes in Computer Science 15931) (2025. 500 S. Approx. 500 p. 235 mm)  Paperback

Herausgegeben:Piskac, Ruzica/ Rakamaric, Zvonimir

  • ウェブストア価格 ¥10,157(本体¥9,234)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; COMMUN(2025発売)
  • ポイント 92pt
  • 海外からお取り寄せ(通常6~9週間)
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part II (Lecture Notes in Computer Science 15932) (2025. 500 S. Approx. 500 p. 235 mm)
  • 洋書

Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part II (Lecture Notes in Computer Science 15932) (2025. 500 S. Approx. 500 p. 235 mm)  Paperback

Herausgegeben:Piskac, Ruzica/ Rakamaric, Zvonimir

  • ウェブストア価格 ¥10,157(本体¥9,234)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; COMMUN(2025発売)
  • ポイント 92pt
  • 海外からお取り寄せ(通常6~9週間)
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part III (Lecture Notes in Computer Science 15933) (2025. 500 S. Approx. 500 p. 235 mm)
  • 洋書

Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part III (Lecture Notes in Computer Science 15933) (2025. 500 S. Approx. 500 p. 235 mm)  Paperback

Herausgegeben:Piskac, Ruzica/ Rakamaric, Zvonimir

  • ウェブストア価格 ¥10,157(本体¥9,234)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; COMMUN(2025発売)
  • ポイント 92pt
  • 海外からお取り寄せ(通常6~9週間)
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part IV (Lecture Notes in Computer Science 15934) (2025. 500 S. Approx. 500 p. 235 mm)
  • 洋書

Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part IV (Lecture Notes in Computer Science 15934) (2025. 500 S. Approx. 500 p. 235 mm)  Paperback

Herausgegeben:Piskac, Ruzica/ Rakamaric, Zvonimir

  • ウェブストア価格 ¥10,157(本体¥9,234)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; COMMUN(2025発売)
  • ポイント 92pt
  • 海外からお取り寄せ(通常6~9週間)