Skip to content
Toggle navigation
VuFind
All Fields
Title
Author
Call Number
ISBN/ISSN
Faculty
Program
Find
Advanced
All Fields
Title
Author
Call Number
ISBN/ISSN
Faculty
Program
Find
Advanced
Author
Melquiond, Guillaume
Showing
1
-
1
of
1
for search:
'Melquiond, Guillaume'
, query time: 0.07s
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system
by
Boldo, Sylvie
Other Authors:
';
“
...
Melquiond
,
Guillaume
...
”
Call Number:
Loading...
Located:
Loading...
Get full text
Show QR Code
Search Tools:
Get RSS Feed
Related Subjects
Computer arithmetic
Floating-point arithmetic
×
Loading...