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)

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