
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
51,35 €
Livraison gratuite
Certified Programming With Dependent Types

Livraison sous 3 a 5 jours
PayPal
PayPal
Virement instantané
Virement instantané
Visa
Visa
Mastercard
Mastercard
80,08 €
Livraison à partir de 0,01 €
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
83,26 €
Livraison à partir de 10,00 €
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Habituellement expédié sous 2 à 3 jours
Prélèvement bancaire
Prélèvement bancaire
Visa
Visa
Mastercard
Mastercard
86,33 €
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
86,80 €
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
86,80 €
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
90,71 €
Livraison à partir de 3,00 €
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Habituellement expédié sous 5 à 6 jours
Prélèvement bancaire
Prélèvement bancaire
Visa
Visa
Mastercard
Mastercard
103,02 €
Livraison à partir de 3,00 €
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é 8 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: 51,35 €
- 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 51,35 €€ à 103,02 €€ avec un total de 8 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

42,02 €
Amazon.fr
Livraison gratuite

Femme May The Vibe Be With You - Rétro Vintage Sunset T-Shirt avec Col en V
23,80 €
Amazon.fr
Livraison à partir de 3,99 €

May The Vibe Be With You - Rétro Vintage Sunset PopSockets PopGrip Adhésif
15,89 €
Amazon.fr
Livraison à partir de 3,99 €

May The Vibe Be With You - Rétro Vintage Sunset Manche Longue
25,32 €
Amazon.fr
Livraison gratuite

May The Vibe Be With You - Rétro Vintage Sunset Sweatshirt
33,81 €
Amazon.fr
Livraison gratuite
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.