Compartir
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
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
$ 1,403.09
$ 2,338.48
Ahorras: $ 935.39
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: Estados Unidos
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Jueves 18 de Julio y el
Viernes 26 de Julio.
Lo recibirás en cualquier lugar de México 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.