Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings (Lecture Notes in Computer Science)

by Alan J . Hu (Editor), Moshe Y . Vardi (Editor)

• New

  Paperback
  1998

  $109.51

  This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. verification techniques like state-space exploration, model checking, synthesis, and automated deduction;