5
1
9781586036256
Proof Technology and Computation: Volume 200 NATO Science Series, Computer and Systems Sciences available in Hardcover
![Proof Technology and Computation: Volume 200 NATO Science Series, Computer and Systems Sciences](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.8.5)
Proof Technology and Computation: Volume 200 NATO Science Series, Computer and Systems Sciences
- ISBN-10:
- 1586036254
- ISBN-13:
- 9781586036256
- Pub. Date:
- 07/01/2006
- Publisher:
- I O S Press, Incorporated
200.0
In Stock
Product Details
ISBN-13: | 9781586036256 |
---|---|
Publisher: | I O S Press, Incorporated |
Publication date: | 07/01/2006 |
Series: | NATO Science Series |
Pages: | 456 |
Product dimensions: | 6.50(w) x 9.70(h) x 1.30(d) |
From the B&N Reads Blog