Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
 | paperback Категорія: математичні основи Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Наша ціна: 76.64 EUR (Ціна оновлена 22.04.2025) Безкоштовна доставка в Україну більше Читацькі коментарі та рецензії: Amazon |
Разом з цією книгою, ми також рекомендуємо наступні книги:
| An Illustrated Book of Bad Arguments Ціна:  | Building Proofs Ціна: 22.99 EUR  | Godel, Escher, Bach Ціна: 23.50 EUR  | Interactive Theorem Proving and Program Development Ціна: 91.74 EUR  |