Numerical Software Verification

9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

AvSergiy Bogomolov,Matthieu Martel

Häftad, Engelska, 2017

Del i serien Lecture Notes in Computer Science

552 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utforska kategorier

Innehållsförteckning

Hoppa över listan

Du kanske också är intresserad av