Le Coq Art (EN)

Name: Le Coq Art (EN)
SKU: 00253
Price: 52 USD
Availability: InStock

00253

$52

In stock

Quantity:

Product Details

Interactive Theorem Proving and Program Development
Coq'Art: The Calculus of Inductive Constructions

490pp, 1.7 kg of Coq Art :)

Save this product for later