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