Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dimitrova, Rayna (EDT)/ Lahav, Ori (EDT)/ Wolff, Sebastian (EDT)

  • ウェブストア価格 ¥17,829(本体¥16,209)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 162pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dimitrova, Rayna (EDT)/ Lahav, Ori (EDT)/ Wolff, Sebastian (EDT)

  • ウェブストア価格 ¥17,829(本体¥16,209)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 162pt
  • 海外取次在庫