Subject: Floating-point arithmetic - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Subject Floating-point arithmetic

1. Formal verification of floating-point hardware design : a mathematical approach /: a mathematical approach. ([2019])

Authors:: Russinoff, David, 1948-
Record Type:: Book
Extent:: 1 online resource (xxiv, 382 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Handbook of Floating-Point Arithmetic. (2018)

Authors:: Muller, Jean-Michel; Brunie, Nicolas; Dinechin, Florent de; Jeannerod, Claude-Pierre; Joldes, Mioara; Lefèvre, Vincent; Melquiond, Guillaume; Revol, Nathalie; Torres, Serge
Record Type:: Book
Extent:: 1 online resource
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Floating-point algorithms and formal proofs : a didactic tour with Coq /: a didactic tour with Coq. (2016)

Authors:: Boldo, Sylvie; Melquiond, Guillaume
Record Type:: Book
Extent:: 1 online resource
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗