Computer Arithmetic and Formal Proofs Sách Khác Của Sylvie Boldo & Guillaume Melquiond

Numerical Software Verification

2017