Acheter maintenant et ramasser en magasin

  • Couverture_Interactive Theorem Proving and Program Development
Aperçu gratuit du livre Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

Yves Bertot
15 décembre 2010
131,50 $
Prix en ligne. Les prix et les offres peuvent différer en magasin.
.
Commande minimum de  1 articles
Vente ferme. Aucun retour ou Ă©change.
La livraison de cet article sera effectuée sur rendez-vous par notre transporteur partenaire.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Obtenez 658 points et profitez d’un rabais additionnel avec plum+.  .

Description

Convient aux personnes de
Langue
anglais
Pages
472
Texts In Theoretical Computer Science. An Eatcs Series
Publié par: Springer/Sci-Tech/Trade
Dimensions à l’expédition: 9" H x 6" W x 1" L
ISBN: 9783642058806
Étape de vie: null

Vous aimerez peut-ĂȘtre aussi

Cotes et évaluations

  • bvseo_sdk, dw_cartridge, 18.2.0, p_sdk_3.2.0
  • CLOUD, getReviews, 10ms
  • reviews, product
  • bvseo-msg: Unsuccessful GET. status = 'ERROR', msg = 'Not Found.'; Unsuccessful GET. status = 'ERROR', msg = 'Not Found.';

Évaluation éditoriale

Auteur

D’autres ont aussi achetĂ©

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions 300EB99D-9D9E-4108-B501-D59008795BEF
Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions
https://dynamic.indigoimages.ca/v1/books/books/3540208542/1.jpg
175.5
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
https://dynamic.indigoimages.ca/v1/books/books/3642058809/1.jpg
131.5