Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (2013)
  • 洋書

Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 104pt
  • 海外取次在庫
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,384(本体¥12,168)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 121pt
  • 海外取次在庫