Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
![]() | paperback Kategorie: Matematické základy Naše cena: 75.66 EUR (cca 1834 Kč) (cena aktualizována 13.11.2025) Doprava zdarma do České republiky a na Slovensko více Komentáře čtenářů a knižní recenze: Amazon |
Společně s touto kniho zároveň doporučujeme tyto knihy:
| An Illustrated Book of Bad Arguments Cena: ![]() | Interactive Theorem Proving and Program Development Cena: 2224 Kč ![]() | Building Proofs Cena: 557 Kč ![]() | What Is the Name of This Book? Cena: 327 Kč ![]() |
























