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

554 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

  • -30%
Del 2

Intrig i Amalfi

Anders de la Motte, Anette de la Motte

Pocket

69 kr99 kr

  • -22%
Del 1

Spelet

Elle Kennedy

Pocket
9

69 kr89 kr