Name: Verified Software. Theories, Tools, and Experiments: 8th International Conference, Vstte 2016, Toronto, On, Canada, July 17-18, 2016, Revised Selected (en Inglés)
Price: 176.63 PEN
Availability: InStock
Author: Blazy, Sandrine ; Chechik, Marsha
ISBN: 9783319488684

portada Verified Software. Theories, Tools, and Experiments: 8th International Conference, Vstte 2016, Toronto, On, Canada, July 17-18, 2016, Revised Selected (en Inglés)

Verified Software. Theories, Tools, and Experiments: 8th International Conference, Vstte 2016, Toronto, On, Canada, July 17-18, 2016, Revised Selected (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Blazy, Sandrine ; Chechik, Marsha

Idioma

Inglés

N° páginas

199

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.2 cm

Peso

0.31 kg.

ISBN13

9783319488684

Categorías

Compiladores e intérpretes
Lenguajes de programación y extensión/scripting: general

Verified Software. Theories, Tools, and Experiments: 8th International Conference, Vstte 2016, Toronto, On, Canada, July 17-18, 2016, Revised Selected (en Inglés)

Blazy, Sandrine ; Chechik, Marsha (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 12 a 17 días háb.

S/ 392,50S/ 176,63

-55%

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

Libro Nuevo

Quedan más de 100 unidades

S/ 176,63

Llega entre el 17 Ago y el 25 Ago a CERCADO DE LIMA, Lima. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Verified Software. Theories, Tools, and Experiments: 8th International Conference, Vstte 2016, Toronto, On, Canada, July 17-18, 2016, Revised Selected (en Inglés)"

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada. The 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions. The goal of the VSTTE conference is to advance thestate of the art through the interaction of theory development, tool evolution, and experimental validation.