Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions - Texts in Theoretical Computer Science. An EATCS Series - Yves Bertot - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783642058806 - 15 décembre 2010
Si la couverture et le titre ne correspondent pas, le titre est correct.

Yves Bertot
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions - Texts in Theoretical Computer Science. An EATCS Series Softcover reprint of hardcover 1st ed. 2004 edition

Prix
€ 76,49

Commandé depuis un entrepôt distant

Livraison prévue 13 - 21 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Également disponible en tant que :

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

497 pages, 1 black & white illustrations, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 15 décembre 2010
ISBN13 9783642058806
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 472
Dimensions 155 × 236 × 26 mm   ·   693 g
Langue et grammaire Français  

Plus par Yves Bertot

Afficher tout

Voir tous les Yves Bertot ( par ex. Hardcover Book et Paperback Book )