[Lecture Notes in Computer Science] Numerical Software Verification Volume 10381 || Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic
Abate, Alessandro, Boldo, SylvieVolume:
10.1007/97
Year:
2017
Language:
english
DOI:
10.1007/978-3-319-63501-9_2
File:
PDF, 222 KB
english, 2017