
Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering)
$19.99
Description
ISBN-13: 9781785481123
Publisher: Elsevier
Author: Sylvie Boldo, Guillaume Melquiond
Language: English