Sylvie Boldo – författare
Visar alla böcker från författaren Sylvie Boldo.
2 produkter
Computer Arithmetic and Formal Proofs
Verifying Floating-point Algorithms with the Coq System
Av Sylvie Boldo, Guillaume Melquiond
Inbunden, 2017
2229 kr
Lägg i varukorg
Numerical Software Verification
10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Av Alessandro Abate, Sylvie Boldo
Häftad, 2017
729 kr
Lägg i varukorg