Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
 | paperback Catégorie: Fondements mathématiques Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Notre prix: 87.22 EUR (prix mis à jour le 23.09.2024) Livraison gratuite en France plus Commentaires des lecteurs et revues: Amazon |
Si vous êtes intéressé par ce produit, nous vous recommandons également les livres suivants:
| Godel, Escher, Bach Prix: 23.50 EUR  | What Is the Name of This Book? Prix: 13.50 EUR  | Interactive Theorem Proving and Program Development Prix: 91.74 EUR  | Building Proofs Prix: 22.99 EUR  |