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 099 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

729 kr

Skickas inom 10-15 vardagar