×
  • Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

    Rachid Guerraoui

Click on cover to enlarge.
Buy This Book
From Amazon.
16 - 18Hours to read