Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Neele, Thomas (EDT)/ Wijs, Anton (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 104pt
  • 海外取次在庫