-30%

Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering) (English Edition)

Name: Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering) (English Edition)
SKU: B0748JD6V2
Price: 112.32 EUR
Availability: InStock

112,32 €159,80 €

Risparmi il 30% (47,48 €)

Vedi su Amazon

Prezzo e disponibilità aggiornati il 07/08/26, 19:27. Possono variare: fa fede quello indicato su Amazon al momento dell'acquisto. In qualità di Affiliato Amazon, guadagniamo dagli acquisti idonei.

📈 Storico prezzi

Carico lo storico prezzi…

Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering) (English Edition)

📈 Storico prezzi

Altre offerte simili