Sylvie Boldo - Böcker

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

Av Sylvie Boldo, Guillaume Melquiond

Inbunden, Engelska, 2017

2 099 kr

Skickas inom 7-10 vardagar

Numerical Software Verification

10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Av Alessandro Abate, Sylvie Boldo

Häftad, Engelska, 2017

739 kr

Skickas inom 10-15 vardagar