5
1
9780262632959
Mechanizing Proof: Computing, Risk, and Trust available in Paperback
![Mechanizing Proof: Computing, Risk, and Trust](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.9.4)
Mechanizing Proof: Computing, Risk, and Trust
- ISBN-10:
- 0262632950
- ISBN-13:
- 9780262632959
- Pub. Date:
- 01/30/2004
- Publisher:
- MIT Press
- ISBN-10:
- 0262632950
- ISBN-13:
- 9780262632959
- Pub. Date:
- 01/30/2004
- Publisher:
- MIT Press
40.0
In Stock
Product Details
ISBN-13: | 9780262632959 |
---|---|
Publisher: | MIT Press |
Publication date: | 01/30/2004 |
Series: | Inside Technology |
Edition description: | New Edition |
Pages: | 440 |
Product dimensions: | 6.00(w) x 9.00(h) x 1.00(d) |
Age Range: | 18 Years |
About the Author
From the B&N Reads Blog