Book Reading Time
Home
Subjects
Calculator
About
Contact
Search
S
Sylvie Boldo
2 books found
Books by Sylvie Boldo
Computer Arithmetic and Formal Proofs
Sylvie Boldo
⏱ 5h 40m
Computer Arithmetic and Formal Proofs
Sylvie Boldo
2017
340 pp.
Numerical Software Verification
Alessandro Abate
⏱ 1h 55m
Numerical Software Verification
Alessandro Abate
2017
115 pp.