5
1
9780198538356
Computation and Reasoning: A Type Theory for Computer Science / Edition 1 available in Hardcover
Computation and Reasoning: A Type Theory for Computer Science / Edition 1
- ISBN-10:
- 0198538359
- ISBN-13:
- 9780198538356
- Pub. Date:
- 05/12/1994
- Publisher:
- Oxford University Press
- ISBN-10:
- 0198538359
- ISBN-13:
- 9780198538356
- Pub. Date:
- 05/12/1994
- Publisher:
- Oxford University Press
105.0
In Stock
Product Details
ISBN-13: | 9780198538356 |
---|---|
Publisher: | Oxford University Press |
Publication date: | 05/12/1994 |
Series: | International Series of Monographs on Computer Science , #11 |
Pages: | 240 |
Product dimensions: | 9.52(w) x 6.40(h) x 0.79(d) |
About the Author
From the B&N Reads Blog