Name: Verified Software. Theories, Tools, and Experiments: 9th International Conference, Vstte 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected (en Inglés)
Price: 103.89 USD
Availability: InStock
Author: Paskevich, Andrei ; Wies, Thomas
ISBN: 9783319723075

portada Verified Software. Theories, Tools, and Experiments: 9th International Conference, Vstte 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Paskevich, Andrei ; Wies, Thomas

Idioma

Inglés

N° páginas

211

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.2 cm

Peso

0.33 kg.

ISBN13

9783319723075

Categorías

Compiladores e intérpretes
Ciencias de la computación

Verified Software. Theories, Tools, and Experiments: 9th International Conference, Vstte 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected (en Inglés)

Paskevich, Andrei ; Wies, Thomas (Autor) · Springer · Tapa Blanda

Libro Nuevo

$ 103.89

$ 144.28

Ahorras: $ 40.39

28% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Miércoles 17 de Julio y el Miércoles 24 de Julio.

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

Reseña del libro "Verified Software. Theories, Tools, and Experiments: 9th International Conference, Vstte 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected (en Inglés)"

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

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: 9th International Conference, Vstte 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected (en Inglés) - Paskevich, Andrei ; Wies, Thomas

Reseña del libro "Verified Software. Theories, Tools, and Experiments: 9th International Conference, Vstte 2017, Heidelberg, Germany, July 22-23, 2017, 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