Interactive Theorem Proving and Program Development: Coq'Art: the Calculus of Inductive Constructions by Pierre Casteran, Yves Bertot (Hardback, 2004)


OUR TOP PICK

£61.58

+ £0.40 P&P
Quantity
1 available
Condition
New
Sold by
Business seller: wordery_specialist (291343)99.5 % positive Feedback
Delivery
Est. 18 Jul - 26 JulFrom United Kingdom
Returns
Buyer pays return postage