×
  • Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

    Zhe Hou

Click on cover to enlarge.
Buy This Book
From Amazon.
5 - 6Hours to read