PRODUCT NAME
The MIT Press Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT
PRODUCT CODE: PROD130067936
PRODUCT INFORMATION
Technical Details
Product Details
Product Dimensions
Package Dimensions
Width : 6.9 inch
Height : 1 inch
Length : 8.9 inch
Item Weight: 1.82 pounds (View shipping rates and policies)
Shipping Weight: 1.85 pounds (View shipping rates and policies)
ASIN : 0262026651
