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,767(本体¥10,698)
  • Springer International Publishing AG(2016/01発売)
  • ポイント 212pt
  • 海外取次在庫