Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
(Bog, Paperback / softback, Engelsk)
Beskrivelse
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.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2017 |
| Udgivelsesdato | 17-02-2017 |
| Første udgivelsesår | 2017 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 21 Illustrations, black and white |
| Fagredaktør | Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar |
| Originalsprog | Switzerland |
| Sideantal | 107 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 107 pages, 21 Illustrations, black and white |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783319542911 |