Model Checking Software : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Model Checking Software : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Laarman, Alfons (EDT)/ Sokolova, Ana (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。