Numerical Software Verification e-bokEngelska, 2017