1～2件／全2件 セーフサーチON
  •  
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
  • 海外取次在庫
Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7358) （2012. 2012. XVI, 789 S. 235 mm）
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7358) （2012. 2012. XVI, 789 S. 235 mm）  Paperback

Herausgegeben von Parthasarathy, Madhusudan/ Seshia, Sanjit A.

  • ウェブストア価格 ¥13,538（本体¥12,308）
  • SPRINGER, BERLIN（2012発売）
  • ポイント 246pt
  • 海外取次在庫
1～2件／全2件
  •