
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
147,28 €
Livraison à partir de 10,00 €
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
151,82 €
Livraison à partir de 0,01 €
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
151,83 €
Livraison gratuite
Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms With the Coq System

Habituellement expédié sous 4 à 7 mois. Livraison Express possible avec Amazon Premium.
Prélèvement bancaire
Prélèvement bancaire
Visa
Visa
Mastercard
Mastercard
152,89 €
Livraison gratuite
Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms With the Coq System

Habituellement expédié sous 11 à 12 jours
Prélèvement bancaire
Prélèvement bancaire
Visa
Visa
Mastercard
Mastercard
154,27 €
Livraison à partir de 3,00 €
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: 147,28 €
- 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 147,28 €€ à 154,27 €€ 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 9 à 10 jours jours ouvrés est proposé par amazon-marketplace.fr
Produits similaires

116,83 €
Amazon.fr
Livraison gratuite

Waveshare UGV Beast ROS 2 Open-Source Off-Road Tracked AI Robot (with Jetson Orin Nano 4GB Kit), Dual Controllers, with Multi-Functional Driver Board and 360° Pan-Tilt, for Jetson Orin Series Board
1 246,99 €
amazon-marketplace.fr
Livraison gratuite

Scientific Computing, Computer Arithmetic, And Validated Numerics
86,53 €
Rakuten.com FR
Livraison à partir de 25,00 €

Arithmetic and Logic in Computer Systems Lu, Mi (Auteur)
132,19 €
Fnac.com (Marketplace)
Livraison à partir de 4,99 €
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.