Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Biondi, Fabrizio (EDT)/ Given-Wilson, Thomas (EDT)/ Legay, Axel (EDT)

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