Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Programming and Software Engineering) (2013)
  • 洋書
  • ポイントキャンペーン

Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Qadeer, Shaz (EDT)/ Tasiran, Serdar (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 218pt
  • 海外取次在庫
Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6806) (2011. XV, 763 S.)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6806) (2011. XV, 763 S.)  Paperback

Herausgegeben von Gopalakrishnan, Ganesh/ Qadeer, Shaz

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 254pt
  • 海外取次在庫