Sylvie Boldo - Böcker

Visar alla böcker från författaren Sylvie Boldo.
2 produkter
Sylvie Boldo, Guillaume Melquiond - Computer Arithmetic and Formal Proofs, Inbunden

Computer Arithmetic and Formal Proofs

Av Sylvie Boldo, Guillaume Melquiond

Inbunden, Engelska, 2017

2 139 kr

Skickas inom 7-10 vardagar
Alessandro Abate, Sylvie Boldo - Numerical Software Verification, Häftad

Numerical Software Verification

Av Alessandro Abate, Sylvie Boldo

Häftad, Engelska, 2017

739 kr

Skickas inom 7-10 vardagar