Validation of Evolving Software
  • 洋書

Validation of Evolving Software  Paperback

Chockler, Hana (EDT)/ Kroening, Daniel (EDT)/ Mariani, Leonardo (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 101pt
  • 海外取次在庫
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Theoretical Computer Science and General Issues)
  • 洋書

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Theoretical Computer Science and General Issues)  Paperback

Kroening, Daniel (EDT)/ Păsăreanu, Corina S. (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/07発売)
  • ポイント 101pt
  • 海外取次在庫
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Theoretical Computer Science and General Issues)
  • 洋書

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Theoretical Computer Science and General Issues)  Paperback

Kroening, Daniel (EDT)/ Păsăreanu, Corina S. (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/07発売)
  • ポイント 101pt
  • 海外取次在庫
Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Lecture Notes in Computer Science) (2014)
  • 洋書

Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Giannakopoulou, Dimitra (EDT)/ Kroening, Daniel (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2014/10発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。