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

offres d'occasion à partir de 124,99 €

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

Go Web Programming
Go Web Programming
42,02 €
Comparer 9 prix
Amazon.fr
Livraison gratuite
Femme May The Vibe Be With You - Rétro Vintage Sunset T-Shirt avec Col en V
Femme May The Vibe Be With You - Rétro Vintage Sunset T-Shirt avec Col en V
23,80 €
Voir l'offre
Amazon.fr
Livraison à partir de 3,99 €
May The Vibe Be With You - Rétro Vintage Sunset PopSockets PopGrip Adhésif
May The Vibe Be With You - Rétro Vintage Sunset PopSockets PopGrip Adhésif
15,89 €
Voir l'offre
Amazon.fr
Livraison à partir de 3,99 €
May The Vibe Be With You - Rétro Vintage Sunset Manche Longue
May The Vibe Be With You - Rétro Vintage Sunset Manche Longue
25,32 €
Voir l'offre
Amazon.fr
Livraison gratuite
May The Vibe Be With You - Rétro Vintage Sunset Sweatshirt
May The Vibe Be With You - Rétro Vintage Sunset Sweatshirt
33,81 €
Voir l'offre
Amazon.fr
Livraison gratuite
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Offre la moins chère

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
51,35 €
2 à 3 jours ouvrés
Amazon.fr
N'oubliez pas votre code promo :