1～3件／全3件 セーフサーチON
  •  
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,380（本体¥10,346）
  • Springer International Publishing AG（2015/07発売）
  • ポイント 103pt
  • 海外取次在庫
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,380（本体¥10,346）
  • Springer International Publishing AG（2015/07発売）
  • ポイント 103pt
  • 海外取次在庫
Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers (Lecture Notes in Computer Science) （2013）
  • 洋書

Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers (Lecture Notes in Computer Science) （2013）  Paperback,  言語：ENG

Pasareanu, Corina S (EDT)/ Salaün, Gwen (EDT)

  • ウェブストア価格 ¥14,901（本体¥13,547）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/01発売）
  • ポイント 135pt
  • 海外取次在庫
1～3件／全3件
  •