Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

Livre 37 sur 45: Texts in Theoretical Computer Science. An EATCS

Bertot, Yves, Castéran, Pierre

ISBN 10: 3540208542 ISBN 13: 9783540208549
Edité par Springer, 2004
Langue: anglais
Etat : Occasion - Satisfaisant Couverture rigide

Vendu par medimops, Berlin, Allemagne

Vendeur AbeBooks depuis 10 mai 2010

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Afficher tous les articles du vendeur


Ancien(s) ou d'occasion - Couverture rigide

Etat : Occasion - Satisfaisant

Prix:
EUR 87,40
Expédition à EUR 10
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier