Computer Arithmetic and Formal Proofs
Subtitle: Verifying Floating-Point Algorithms with the Coq System
Publisher: Elsevier
Published: 2017
Language: eng
Number of pages: 326
ISBN-13: 9780081011706
Subjects: Proof theory