×
  • The Calculus of Computation: Decision Procedures with Applications to Verification

    Aaron R. Bradley

Click on cover to enlarge.
Buy This Book
From Amazon.
8 - 9Hours to read