Computer Arithmetic and Formal Proofs Verifying Floating-point Algorithms with the Coq System Ebook (tebook.shop)

$25.00

Sylvie Boldo; Guillaume Melquiond

Category: Tag: