Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering)

by: Sylvie Boldo · Guillaume Melquiond

Hardcover

details (UK).
(see also: eBook (Kindle))

details (USA).
(see also: eBook (Kindle))

details (Germany).
(see also: Kindle Ausgabe)

details (Canada).
(see also: eBook (Kindle))

ISBN: 978-1-78548-112-3

ISBN-10: 1-78548-112-6

ISTE Press - Elsevier · 2017