Noch Fragen? 0800 / 33 82 637

Numerical Software Verification

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

Produktform: Buch / Einband - flex.(Paperback)

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. weiterlesen

Sprache(n): Englisch

ISBN: 978-3-319-54291-1 / 978-3319542911 / 9783319542911

Verlag: Springer International Publishing

Erscheinungsdatum: 17.02.2017

Seiten: 107

Auflage: 1

Herausgegeben von Matthieu Martel, Sergiy Bogomolov, Pavithra Prabhakar

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück