Verification, Model Checking, and Abstract Interpretation : 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings (Lecture Notes in Computer Science 16417) (2026. Approx. 400 p. 235 mm)
  • 洋書
  • 予約

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

Herausgegeben:Chen, Yu-Fang/ Jensen, Thomas Philip/ Lengá/l, Ondrej

  • ウェブストア価格 ¥20,604(本体¥18,731)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026/03発売)
  • ポイント 187pt
  • ご予約受付中。出版後の入荷・発送