×
  • Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)

    J Strother Moore

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