Image from Amazon.com
Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system / Sylivie Boldo, Guillaume Melquiond
Material type:
TextPublisher: London, UK : Elsevier, 2017Copyright date: ©2017Description: xx, 306 pages : illustrations ; 24 cmContent type: - text
- unmediated
- volume
- 9781785481123
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Open Shelf
|
UMPLIB PEKAN | QA76.9.C62 B65 2017 (Browse shelf(Opens below)) | 1 | Available | 0000124165 |
Includes bibliographical references and index