Computer Arithmetic and Formal Proofs : Verifying Floating-Point Algorithms with the Coq System
2017
Online
E-Book
- 1 online resource (328 pages)
Zugriff:
Description based on publisher supplied metadata and other sources
Titel: |
Computer Arithmetic and Formal Proofs : Verifying Floating-Point Algorithms with the Coq System
|
---|---|
Autor/in / Beteiligte Person: | Boldo, Sylvie ; Melquiond, Guillaume, Sonstige |
Veröffentlichung: | 2017 |
Medientyp: | E-Book |
Umfang: | 1 online resource (328 pages) |
ISBN: | 978-0-08-101170-6 (print) ; 0-08-101170-9 (print) |
Schlagwort: |
|
Sonstiges: |
|