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

Name: Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers - Lecture Notes in Computer Science
Price: 1129 MXN
Availability: OutOfStock

Precio

Mex$ 1.129

sin IVA

Pedido desde almacén remoto

Entrega prevista 7 - 23 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

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

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