Computer Arithmetic and Formal Proofs

Boldo, Sylvie

Computer Arithmetic and Formal Proofs - Elsevier Elsevier 2018

9781785481123

EBOOK