Pastāsti draugiem par šo preci:
Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers - Lecture Notes in Computer Science 1st ed. 2017 edition
Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers - Lecture Notes in Computer Science
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.
107 pages, 21 black & white illustrations, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2017. gada 17. februāris |
| ISBN13 | 9783319542911 |
| Izdevēji | Springer International Publishing AG |
| Lapas | 107 |
| Izmēri | 155 × 235 × 6 mm · 1,88 kg |
| Redaktors | Bogomolov, Sergiy |
| Redaktors | Martel, Matthieu |
| Redaktors | Prabhakar, Pavithra |