Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Piskac, Ruzica (EDT)/ Rümmer, Philipp (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2018/11発売)
  • ポイント 218pt
  • 海外取次在庫