Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
 | hardback Catégorie: Programmation informatique / Software Development Catégorie: L'informatique Catégorie: Computing: General Catégorie: Génie logiciel Catégorie: Intelligence artificielle Catégorie: Computer Architecture & Conception Logique Catégorie: Systems Analysis & Design Catégorie: Logique mathématique Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Notre prix: 119.34 EUR (prix mis à jour le 19.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:
| An Illustrated Book of Bad Arguments Prix: 14.05 EUR  | Godel, Escher, Bach Prix: 23.50 EUR  | Distribution Logistics Prix:  | Geometry of Continued Fractions Prix: 81.03 EUR  |