Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system
- Author
- Boldo, SylvieMelquiond, Guillaume
- Publisher
- ISTE Press : Elsevier
- Language
- English
- Year
- 2017
- Page
- (328 pages) : illustrations
- ISBN
- 9781785481123,9780081011706,0081011709
- File Type
- djvu
- File Size
- 2.9 MiB
How to Download?!!!
Just click on START button on Telegram Bot