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):09780262545747
Category: Books & Stationery
Best price found:
$31.68
Highest at other stores: $32.962 stores compared
Save up to $1.28 by choosing the best deal!
In-stock deals (2 partner stores)
Sorted by lowest item price