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

Note globale : 1,6 / 5 (moyenne issue de plusieurs sources d’avis, au 9 déc. 2025)
Basé sur un total de 17 688 avis clients provenant de plateformes indépendantes.

Sources et transparence :
Les valeurs proviennent d’avis publics de marchands issus de plateformes telles que Avis Vérifiés, Custplace, Trustpilot, entre autres, et sont agrégées mensuellement.

Toutes les marques et tous les logos sont la propriété de leurs détenteurs respectifs.

Avertissement :
prix.net ne peut pas garantir que les avis publiés proviennent de consommateurs ayant réellement effectué un achat auprès du marchand évalué.
Prix total le moins cher
2 à 3 jours ouvrés
Prélèvement bancaire Prélèvement bancaire Visa Visa Mastercard Mastercard
49,30 €
Livraison gratuite

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
76,53 €
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
84,23 €
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
84,66 €
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
84,70 €
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
84,70 €
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
108,83 €
Livraison à partir de 10,00 €
Signaler un contenu illégal

🤖 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,30 €
  • 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,30 €€ à 108,83 €€ 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

Produits similaires

Conquer the FANUC Certified Robot Operator with ROBOGUIDE Exam: Study Guide Covering Robot Safety, Programming, File Management, and ROBOGUIDE Simulation
Conquer the FANUC Certified Robot Operator with ROBOGUIDE Exam: Study Guide Covering Robot Safety, Programming, File Management, and ROBOGUIDE Simulation
22,84 €
Voir l'offre
Amazon.fr
Livraison à partir de 3,00 €
Conquer the FANUC Certified Applied Robot Operator with ROBOGUIDE Exam: Study Guide Covering Setup, Frames, Simulation, Programming, and System Integration
Conquer the FANUC Certified Applied Robot Operator with ROBOGUIDE Exam: Study Guide Covering Setup, Frames, Simulation, Programming, and System Integration
22,84 €
Voir l'offre
Amazon.fr
Livraison à partir de 3,00 €
Certified Associate in Python Programming (PCAP) Exam Prep: 500 Practice Questions with Detailed Explanations
Certified Associate in Python Programming (PCAP) Exam Prep: 500 Practice Questions with Detailed Explanations
17,29 €
Voir l'offre
Amazon.fr
Livraison à partir de 3,00 €
Go Web Programming
Go Web Programming
40,31 €
Comparer 4 prix
Amazon.fr
Livraison gratuite
Tout afficher
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
49,30 €
2 à 3 jours ouvrés
Amazon.fr
N'oubliez pas votre code promo :
Egalement à ta disposition au niveau international :