Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings (Lecture Notes in Computer Science, Volume 818) (2007. 496 S. 235 mm)
  • 洋書

Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings (Lecture Notes in Computer Science, Volume 818) (2007. 496 S. 235 mm)  Paperback

Herausgeber: Dill, David L.

  • ウェブストア価格 ¥13,156(本体¥11,960)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 119pt
  • 海外取次在庫