S

Sylvie Boldo

2 books found

Books by Sylvie Boldo
Computer Arithmetic and Formal ProofsSylvie Boldo
⏱ 5h 40m

Computer Arithmetic and Formal Proofs

Sylvie Boldo

2017340 pp.
Numerical Software VerificationAlessandro Abate
⏱ 1h 55m

Numerical Software Verification

Alessandro Abate

2017115 pp.