Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Legunsen, Owolabi (EDT)/ Rosu, Grigore (EDT)

  • ウェブストア価格 ¥22,455(本体¥20,414)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 204pt
  • 海外取次在庫