Sylvie Boldo – författare
Visar alla böcker från författaren Sylvie Boldo. Handla med fri frakt och snabb leverans.
4 produkter
Computer Arithmetic and Formal Proofs
Verifying Floating-point Algorithms with the Coq System
Av Guillaume Melquiond, Sylvie Boldo
E-bok, 2017
1980 kr
Lägg i varukorg
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 quite involved and potentially lead to numerous failures. One way to greatly increase confidence in floating-point …
Computer Arithmetic and Formal Proofs
Verifying Floating-point Algorithms with the Coq System
Av Sylvie Boldo, Guillaume Melquiond
Inbunden, 2017
1727 kr
Lägg i varukorg
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 quite involved and potentially lead to numerous failures. One way to greatly increase confidence in floating-point …
Numerical Software Verification
10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Av Alessandro Abate, Sylvie Boldo
Häftad, 2017
569 kr
Lägg i varukorg
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 the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a …
Numerical Software Verification
10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Av Sylvie Boldo, Alessandro Abate
E-bok, 2017
755 kr
Lägg i varukorg
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 the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a …
