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 le moins cher
Habituellement expédié sous 9 à 10 jours
Prélèvement bancaire Prélèvement bancaire Visa Visa Mastercard Mastercard
160,11 €
Livraison à partir de 3,00 €

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

Prix total le moins cher
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
163,07 €
Livraison gratuite

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

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

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é 3 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: 160,11 €
  • 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 160,11 €€ à 165,02 €€ avec un total de 3 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 9 à 10 jours jours ouvrés est proposé par amazon-marketplace.fr

Produits similaires

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 €
Voir l'offre
Rakuten.com FR
Livraison à partir de 0,01 €
Computer Arithmetic: Algorithms And Hardware Designs
Computer Arithmetic: Algorithms And Hardware Designs
506,98 €
Voir l'offre
Rakuten.com FR
Livraison à partir de 0,01 €
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
160,11 €
Habituellement expédié sous 9 à 10 jours
amazon-marketplace.fr
N'oubliez pas votre code promo :