Hakutulokset: Kirjoja kirjailijalta Sylvie Boldo
yhteensä 4 hakutulosta
Computer Arithmetic and Formal Proofs
Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become …
Numerical Software Verification
This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with …
Computer Arithmetic and Formal Proofs
Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become …
Numerical Software Verification
This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with …