Verification, Model Checking, and Abstract Interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Dragoi, Cezara (EDT)/ Emmi, Michael (EDT)/ Wang, Jingbo (EDT)

  • ウェブストア価格 ¥18,786(本体¥17,079)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 170pt
  • 海外取次在庫