Back to US deals/Certified Programming with Dependent Types A Pragmatic Introduction to the Coq Proof Assistant
The MIT Press
Certified Programming with Dependent Types A Pragmatic Introduction to the Coq Proof Assistant
Barcode (UPC/EAN):09780262026659
Category: Books & Stationery
Best price found:
$61.78
Highest at other stores: $64.272 stores compared
Save up to $2.49 by choosing the best deal!
In-stock deals (2 partner stores)
Sorted by lowest item price