Name: Verified Software. Theories, Tools, and Experiments: 9th International Conference, Vstte 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected (en Inglés)
Price: 98370.00 CLP
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

$ 98.370

$ 136.620

Ahorras: $ 38.250

28% descuento

Envío normal

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

Se enviará desde nuestra bodega entre el Lunes 15 de Julio y el Lunes 22 de Julio.

Lo recibirás en cualquier lugar de Chile 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.