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
Prix total le moins cher
2 à 3 jours ouvrés
Prélèvement bancaire
Prélèvement bancaire
Visa
Visa
Mastercard
Mastercard
84,39 €
Livraison gratuite
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
Habituellement expédié sous 2 à 3 jours
Prélèvement bancaire
Prélèvement bancaire
Visa
Visa
Mastercard
Mastercard
85,59 €
Livraison à partir de 18,00 €
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
Habituellement expédié sous 9 à 10 jours
Prélèvement bancaire
Prélèvement bancaire
Visa
Visa
Mastercard
Mastercard
87,15 €
Livraison à partir de 0,01 €
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
Habituellement expédié sous 2 à 3 semaines
Prélèvement bancaire
Prélèvement bancaire
Visa
Visa
Mastercard
Mastercard
87,97 €
Livraison à partir de 3,00 €
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
Habituellement expédié sous 2 à 3 semaines
Prélèvement bancaire
Prélèvement bancaire
Visa
Visa
Mastercard
Mastercard
88,01 €
Livraison à partir de 2,39 €
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
Habituellement expédié sous 2 à 3 semaines
Prélèvement bancaire
Prélèvement bancaire
Visa
Visa
Mastercard
Mastercard
88,01 €
Livraison à partir de 3,00 €
🤖 Demande à ChatGPT
💡 Est-ce que ça vaut le prix ?
🔁 Y a-t-il de meilleures alternatives ?
⭐ Qu'en disent les utilisateurs ?
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions - Détails
▶ Trouvez toujours le prix le plus bas !
Nous avons trouvé 6 prix pour Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions. Notre liste de prix est toujours transparente et affichée par ordre de prix croissant. Des frais de livraison peuvent s'ajouter.
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions - Informations sur les prix
- Prix le plus bas: 84,39 €
- Le prix le plus bas est proposé par Amazon.fr . Vous pouvez commander le produit ici.
- Le prix pour le produit Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions varie entre 84,39 €€ à 88,01 €€ avec un total de 6 offres.
- Méthodes de paiement: le marchand en ligne Amazon.fr accepte : Prélèvement bancaire, Visa, Mastercard.
- Livraison: le délai de livraison le plus court allant de 2 à 3 jours ouvrés jours ouvrés est proposé par Amazon.fr
Produits similaires
Interactive Theorem Proving In Software Engineering
74,99 €
Rakuten.com FR
Livraison à partir de 25,00 €
Interactive Theorem Proving
200,69 €
Rakuten.com FR
Livraison à partir de 25,00 €
Interactive Theorem Proving
91,55 €
Rakuten.com FR
Livraison à partir de 25,00 €
Interactive Theorem Proving
200,75 €
Rakuten.com FR
Livraison à partir de 25,00 €
Interactive Theorem Proving
91,49 €
Rakuten.com FR
Livraison à partir de 25,00 €
Offre la moins chère
Ouvrage neuf. Disponible en stock.
84,39 €
2 à 3 jours ouvrés
Amazon.fr
N'oubliez pas votre code promo :
Signaler une infraction
Vous êtes sur le point de signaler une infraction légale sur la base de la loi sur les services numériques de l'UE.