Back to UK deals/Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions
Springer Nature
Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions
Barcode (GTIN/EAN):09783662079645
Category: Books & Stationery
Best price found:
£58.99
Highest at other stores: £67.052 stores compared
Save up to £8.06 by choosing the best deal!
In-stock deals (2 partner stores)
Sorted by lowest item price
SpringerNatureLink ShopBest price
link.springer.comIn stock
Free delivery
Verified 16h ago
£58.99