Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Share:
Also Available in:
- Amazon
- Audible
- Barnes & Noble
- AbeBooks
- Kobo
More Details
- Format:
- Pages: pages
- Publication:
- Publisher:
- Edition:
- Language:en-US
- ISBN10:0262632950
- ISBN13:9780262632959
- kindle Asin:0262632950
About Author
