Boldo, Sylvie (Autor)
Melquiond, Guillaume (Autor)
Computer Arithmetic and Formal Proofs
Verifying Floating-point Algorithms with the Coq System
Beschreibung
Produktdetails
| ISBN/GTIN | 978-0-08-101170-6 |
|---|---|
| Seitenzahl | 326 S. |
| Kopierschutz | Digital Rights Management |
| Dateigröße | 7357 Kbytes |