Computer Aided Verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6174) (2010. XVI, 676 S.)
  • 洋書

Computer Aided Verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6174) (2010. XVI, 676 S.)  Paperback,  言語:ENG

Herausgegeben von Touili, Tayssir/ Cook, Byron/ Jackson, Paul

  • ウェブストア価格 ¥27,844(本体¥25,313)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 253pt
  • 海外取次在庫