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

    • Магазин
  • Как добраться
    График работы
Баловство: игры с материальной культурой
Баловство: игры с материальной культурой
Категории
Le Coq Art (EN)
+3

Le Coq Art (EN)

Артикул 00253
$52
В наличии
1
Информация о товаре

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

490pp, 1.7 kg of Coq Art :)

Сохраните товар в закладках
  • Отследить заказ
  • Избранное
  • Корзина
  • Войти
Поделиться Твитнуть Запинить Поделиться
© Баловство: игры с материальной культурой Сообщить о нарушении
Работает на платформе