5
1
9780521417181
Higher Order Logic and Hardware Verification available in Hardcover
![Higher Order Logic and Hardware Verification](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.10.4)
Higher Order Logic and Hardware Verification
- ISBN-10:
- 052141718X
- ISBN-13:
- 9780521417181
- Pub. Date:
- 11/11/1993
- Publisher:
- Cambridge University Press
- ISBN-10:
- 052141718X
- ISBN-13:
- 9780521417181
- Pub. Date:
- 11/11/1993
- Publisher:
- Cambridge University Press
140.0
In Stock
Product Details
ISBN-13: | 9780521417181 |
---|---|
Publisher: | Cambridge University Press |
Publication date: | 11/11/1993 |
Series: | Cambridge Tracts in Theoretical Computer Science , #31 |
Pages: | 180 |
Product dimensions: | 6.69(w) x 9.61(h) x 0.43(d) |
From the B&N Reads Blog