1～2件／全2件 セーフサーチON
  •  
Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Programming and Software Engineering) （2014）
  • 洋書
  • ポイントキャンペーン

Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Programming and Software Engineering) （2014）  Paperback,  言語：ENG

Cohen, Ernie (EDT)/ Rybalchenko, Andrey (EDT)

  • ウェブストア価格 ¥12,078（本体¥10,980）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2014/01発売）
  • ポイント 218pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7148) （2012. 2012. X, 457 S.）
  • 洋書
  • ポイントキャンペーン

Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7148) （2012. 2012. X, 457 S.）  Paperback

Herausgegeben von Kuncak, Viktor/ Rybalchenko, Andrey

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