ENGLISH

Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system

By Guillaume , Boldo , Sylvie; Melquiond

Book information

Publisher
ISTE Press : Elsevier
Year
2017
ISBN
9781785481123, 9780081011706, 0081011709
Language
english
Format
DJVU
Filesize
3 MB (3010047 bytes)
Pages
(328 pages) : illustrations\317
Library
kolxo3
DPI
600
Time added
2020-10-11 07:49:17
Computer arithmetic;Coq (Electronic resource);Floa

Similar books