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 SystemdeSylvie BoldoNota: 0 de 5 estrelas0 notasSalve Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System para mais tarde