Sylvie Boldo – författare

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

2 produkter

Kategorier

2 produkter

Sylvie Boldo, Guillaume Melquiond - Computer Arithmetic and Formal Proofs, Inbunden

Computer Arithmetic and Formal Proofs

Verifying Floating-point Algorithms with the Coq System

AvSylvie Boldo,Guillaume Melquiond

Inbunden, Engelska, 2017

2 169 kr

Skickas inom 10-15 vardagar

Alessandro Abate, Sylvie Boldo - Numerical Software Verification, Häftad

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