Numerical Software Verification
- 17 februari 2017
- 9783319542911
Samenvatting:
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification.
€ 51,99
Bestel bij Bol.com >