Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers - Lecture Notes in Computer Science -  - Libros - Springer International Publishing AG - 9783319542911 - 17 de febrero de 2017
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
Mex$ 1.149
sin IVA

Pedido desde almacén remoto

Entrega prevista 22 de jul. - 7 de ago.
Añadir a tu lista de deseos de iMusic

Aún no valorado

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 17 de febrero de 2017
ISBN13 9783319542911
Editores Springer International Publishing AG
Páginas 107
Dimensiones 155 × 235 × 6 mm   ·   1,88 kg
Editor Bogomolov, Sergiy
Editor Martel, Matthieu
Editor Prabhakar, Pavithra

Más del mismo editor