Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Prix total le moins cher
2 à 3 jours ouvrés
Prélèvement bancaire
Prélèvement bancaire
Visa
Visa
Mastercard
Mastercard
49,45 €
Livraison gratuite
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Habituellement expédié sous 8 à 9 jours
Prélèvement bancaire
Prélèvement bancaire
Visa
Visa
Mastercard
Mastercard
75,47 €
Livraison à partir de 3,00 €
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Livraison sous 2 à 3 jours ouvrés
Prélèvement bancaire
Prélèvement bancaire
Visa
Visa
Mastercard
Mastercard
83,05 €
Livraison à partir de 3,00 €
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Habituellement expédié sous 2 à 3 semaines
Prélèvement bancaire
Prélèvement bancaire
Visa
Visa
Mastercard
Mastercard
83,49 €
Livraison à partir de 3,00 €
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Habituellement expédié sous 2 à 3 semaines
Prélèvement bancaire
Prélèvement bancaire
Visa
Visa
Mastercard
Mastercard
83,52 €
Livraison à partir de 2,54 €
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Habituellement expédié sous 2 à 3 semaines
Prélèvement bancaire
Prélèvement bancaire
Visa
Visa
Mastercard
Mastercard
83,52 €
Livraison à partir de 3,00 €
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Habituellement expédié sous 9 à 10 jours
Prélèvement bancaire
Prélèvement bancaire
Visa
Visa
Mastercard
Mastercard
107,54 €
Livraison à partir de 10,00 €
🤖 Demande à ChatGPT
💡 Est-ce que ça vaut le prix ?
🔁 Y a-t-il de meilleures alternatives ?
⭐ Qu'en disent les utilisateurs ?
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant - Détails
▶ Trouvez toujours le prix le plus bas !
Nous avons trouvé 7 prix pour Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant. Notre liste de prix est toujours transparente et affichée par ordre de prix croissant. Des frais de livraison peuvent s'ajouter.
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant - Informations sur les prix
- Prix le plus bas: 49,45 €
- Le prix le plus bas est proposé par Amazon.fr . Vous pouvez commander le produit ici.
- Le prix pour le produit Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant varie entre 49,45 €€ à 107,54 €€ avec un total de 7 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
Offre la moins chère
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
49,45 €
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.