Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms With the Coq System

Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms With the Coq System

Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms With the Coq System

Prix total le moins cher
Habituellement expédié sous 2 à 3 semaines
Prélèvement bancaire Prélèvement bancaire Visa Visa Mastercard Mastercard
148,83 €
Livraison à partir de 3,00 €

Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms With the Coq System

Habituellement expédié sous 9 à 10 jours
Prélèvement bancaire Prélèvement bancaire Visa Visa Mastercard Mastercard
153,12 €
Livraison à partir de 10,00 €

Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms With the Coq System

Habituellement expédié sous 6 à 7 mois. Livraison Express possible avec Amazon Premium.
Prélèvement bancaire Prélèvement bancaire Visa Visa Mastercard Mastercard
159,84 €
Livraison gratuite

Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms With the Coq System

Habituellement expédié sous 8 à 9 jours
Prélèvement bancaire Prélèvement bancaire Visa Visa Mastercard Mastercard
161,57 €
Livraison à partir de 0,01 €

Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms With the Coq System

Habituellement expédié sous 6 à 7 mois. Livraison Express possible avec Amazon Premium.
Prélèvement bancaire Prélèvement bancaire Visa Visa Mastercard Mastercard
161,78 €
Livraison gratuite
Signaler un contenu illégal

Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms With the Coq System - Détails

▶ Trouvez toujours le prix le plus bas !

Nous avons trouvé 5 prix pour Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms With the Coq System. Notre liste de prix est toujours transparente et affichée par ordre de prix croissant. Des frais de livraison peuvent s'ajouter.

Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms With the Coq System - Informations sur les prix

  • Prix le plus bas: 148,83 €
  • Le prix le plus bas est proposé par amazon-marketplace.fr . Vous pouvez commander le produit ici.
  • Le prix pour le produit Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms With the Coq System varie entre 148,83 €€ à 161,78 €€ avec un total de 5 offres.
  • Méthodes de paiement: le marchand en ligne amazon-marketplace.fr accepte : Prélèvement bancaire, Visa, Mastercard.
  • Livraison: le délai de livraison le plus court allant de Habituellement expédié sous 2 à 3 semaines jours ouvrés est proposé par amazon-marketplace.fr

Produits similaires

Application-Specific Arithmetic: Computing Just Right for the Reconfigurable Computer and the Dark Silicon Era
Application-Specific Arithmetic: Computing Just Right for the Reconfigurable Computer and the Dark Silicon Era
120,46 €
Comparer 3 prix
Amazon.fr
Livraison gratuite
Scientific Computing, Computer Arithmetic, And Validated Numerics
Scientific Computing, Computer Arithmetic, And Validated Numerics
86,53 €
Voir l'offre
Rakuten.com FR
Livraison à partir de 25,00 €
Arithmetic And Logic In Computer Systems
Arithmetic And Logic In Computer Systems
128,67 €
Comparer 2 prix
Rakuten.com FR
Livraison à partir de 0,01 €
Tout afficher
Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms With the Coq System

Offre la moins chère

Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms With the Coq System
148,83 €
Habituellement expédié sous 2 à 3 semaines
amazon-marketplace.fr
N'oubliez pas votre code promo :