• Баловство: игры с материальной культурой

    • Store
  • Get directions
    Business hours
Баловство: игры с материальной культурой
Баловство: игры с материальной культурой
Categories
Le Coq Art (EN)
+2

Le Coq Art (EN)

Store/Книги
SKU 00253
$52
1
Save this product for later
Share this product with your friends
ShareSharePin it
Le Coq Art (EN)
Store/Книги
Product Details
Weight: 1.60 kg

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

490pp, 1.7 kg of Coq Art :)

Show More
  • My Account
  • Track Orders
  • Favorites
  • Shopping Bag
Display prices in:USD
Share Share Pin
© Баловство: игры с материальной культурой Report abuse Cookie settings