Verification, Model Checking, and Abstract Interpretation : 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Chen, Yu-Fang (EDT)/ Jensen, Thomas (EDT)/ Lengál, Ondřej (EDT)

  • ウェブストア価格 ¥18,019(本体¥16,381)
  • Springer Nature Switzerland AG(2026/01発売)
  • ポイント 163pt
  • 海外取次在庫