Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Full Title: | Mechanizing Proof: Computing, Risk, and Trust (Inside Technology) |
---|---|
ISBN: | 0262133938 |
ISBN13: | 9780262133937 |
List Price: | USD $52.00 |
Authors: |
MacKenzie, Donald |