Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system
Title:
Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system
Author:
Boldo, Sylvie, author.
ISBN:
9780081011706
Personal Author:
Physical Description:
1 online resource (328 pages) : illustrations
Local Note:
Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Genre:
Added Author:
Electronic Access:
Click to View