Name: Numerical Software Verification: 10th International Workshop, Nsv 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (en Inglés)
SKU: 58794508
Price: 935.33 MXN
Availability: InStock
Author: Abate, Alessandro ; Boldo, Sylvie
ISBN: 9783319635002

portada Numerical Software Verification: 10th International Workshop, Nsv 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (en Inglés)

Numerical Software Verification: 10th International Workshop, Nsv 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Abate, Alessandro ; Boldo, Sylvie

Idioma

Inglés

N° páginas

115

Encuadernación

Tapa Blanda

Dimensiones

23.4x15.6x0.8 cm

Peso

0.20 kg.

ISBN13

9783319635002

Categorías

Lógica matemática
Algoritmos y estructuras de datos

Numerical Software Verification: 10th International Workshop, Nsv 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (en Inglés)

Abate, Alessandro ; Boldo, Sylvie (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 14 a 19 días háb.

$ 1,870.65$ 935.33

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 935.33

¡Envío Gratis! Llega entre el 22 Sep y el 30 Sep a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Numerical Software Verification: 10th International Workshop, Nsv 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (en Inglés)"

This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event.The 3 full papers presented together with 3 short papers, 2 keynote abstracts and 4 invited abstracts were carefully reviewed and selected from numerous submissions.The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.