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: 52.09 USD
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)

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 scripting

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 Físico

$ 52.09

$ 54.99

Ahorras: $ 2.90

5% descuento

Envío Express Gratis

Se enviará desde nuestra bodega entre el Viernes 05 de Julio y el Lunes 08 de Julio.

Lo recibirás en cualquier lugar de Estados Unidos entre 1 y 3 días hábiles luego del envío.

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.

Opiniones del libro

¿Leíste este libro? Inicia sesión para poder agregar tu propia evaluación.

Ver más opiniones de clientes

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes

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

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)"

Opiniones del libro

Preguntas frecuentes sobre el libro

¿El libro es original?

¿En qué Idioma está escrito el libro?

¿Cuál es la encuadernación de este libro?

Preguntas y respuestas sobre el libro

Opiniones sobre Buscalibre