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,156(本体¥11,960)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 119pt
  • 海外取次在庫