Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq SystemE-bookComputer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq SystemdiSylvie BoldoValutazione: 0 su 5 stelle0 valutazioniSalva Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System per dopo