Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Lal, Akash (EDT)/ Tonetta, Stefano (EDT)

  • ウェブストア価格 ¥11,303(本体¥10,276)
  • Springer International Publishing AG(2023/02発売)
  • ポイント 510pt
  • 海外取次在庫