Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
 | hardback Kategorie: Computer Programming / vývoj softwaru Kategorie: Počítačová věda Kategorie: Computing: Obecné Kategorie: Softwarové inženýrství Kategorie: Umělá inteligence Kategorie: Computer Architecture & Logic design Kategorie: Systémová analýza a design Kategorie: Matematická logika Naše cena: 119.34 EUR (cca 2997 Kč) (cena aktualizována 19.09.2024) 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: 353 Kč  | Godel, Escher, Bach Cena: 590 Kč  | Geometry of Continued Fractions Cena: 2035 Kč  | Interactive Theorem Proving and Program Development Cena: 1613 Kč  |