Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
 | paperback Kategória: Matematikai Foundations Springer-Verlag Berlin and Heidelberg GmbH & Co. KG A mi ajánlatunk: 76.64 EUR (az ár frissült 22.04.2025) Ingyenes szállítás Magyarországra több Olvasók véleménye és könyvajánlók: Amazon |
Ehhez a könyvhöz szintén ajánljuk a következő könyveket:
| Interactive Theorem Proving and Program Development Ár: 91.74 EUR  | Godel, Escher, Bach Ár: 23.50 EUR  | An Illustrated Book of Bad Arguments Ár:  | Building Proofs Ár: 22.99 EUR  |