Result: Computer arithmetic and formal proofs

*Title*:

Computer arithmetic and formal proofs : verifying floating-point algorithms with the coq system / Silvie Boldo, Guillaume Melquiond

*Author/editor-in-chief*:

*Publication*:

London : ISTE Press Ltd, 2017

*Physical description scale*:

xx, 306 Seiten : Diagramme

*Format*:

*book*

*Language*:

*eng*

*Other edition entry*:

Erscheint auch als Online-Ausgabe: ISBN 9780081011706

*Notes*:

Literaturverzeichnis Seite [289]-299

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

9781785481123

*Result*: Computer arithmetic and formal proofs