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
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

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
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 €
Voir l'offre
amazon-marketplace.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 Lu, Mi (Auteur)
Arithmetic and Logic in Computer Systems Lu, Mi (Auteur)
132,19 €
Voir l'offre
Fnac.com (Marketplace)
Livraison à partir de 4,99 €
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
147,28 €
Habituellement expédié sous 9 à 10 jours
amazon-marketplace.fr
N'oubliez pas votre code promo :