Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq SystemeBookComputer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq SystemkaryaSylvie BoldoPenilaian: 0 dari 5 bintang0 penilaianSimpan Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System untuk nanti