Verified Software: Theories, Tools, and Experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers (Programming and Software Engineering)
  • 洋書

Verified Software: Theories, Tools, and Experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers (Programming and Software Engineering)  Paperback,  言語:ENG

Gurfinkel, Arie (EDT)/ Seshia, Sanjit A. (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2016/01発売)
  • ポイント 103pt
  • 海外取次在庫