Le Coq Art (EN)

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

Артикул 00253

$52

В наличии

Количество:

Информация о товаре

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

490pp, 1.7 kg of Coq Art :)

Сохраните товар в закладках