×
  • Computer-aided reasoning: ACL2 case studies

    Matt Kaufmann Panagiotis Manolios J. Strother Moore (auth.) Matt Kaufmann Panagiotis Manolios J. Strother Moore (eds.)

Click on cover to enlarge.
7 - 8Hours to read