Filter
Sökt på: Sökresultat
Filter
1 träff

Numerical Software Verification
E-bok,
2017,
Engelska,
ISBN 9783319542928
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 …