Ebook: Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system
Author: Boldo Sylvie, Melquiond Guillaume
- Tags: Computer arithmetic, Coq (Electronic resource), Floating-point arithmetic, Electronic books
- Year: 2017
- Publisher: ISTE Press : Elsevier
- City: London, England
- Language: English
- djvu
Download the book Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)