Sylvie Boldo – författare

Visar alla böcker från författaren Sylvie Boldo.

2 produkter

Kategorier

2 produkter

Computer Arithmetic and Formal Proofs
Verifying Floating-point Algorithms with the Coq System
AvSylvie Boldo,Guillaume Melquiond
Inbunden, Engelska, 2017
2 199 kr
Skickas inom 10-15 vardagar
Numerical Software Verification
10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
AvAlessandro Abate,Sylvie Boldo
Häftad, Engelska, 2017
749 kr
Skickas inom 10-15 vardagar