Name: Verified Software. Theories, Tools, and Experiments: 11Th International Conference, Vstte 2019, new York City, ny, Usa, July 13-14, 2019, Revised Selected Papers (Lecture Notes in Computer Science) (en Inglés)
Price: 56.37 EUR
Availability: InStock
ISBN: 9783030415990

portada Verified Software. Theories, Tools, and Experiments: 11Th International Conference, Vstte 2019, new York City, ny, Usa, July 13-14, 2019, Revised Selected Papers (Lecture Notes in Computer Science) (en Inglés)

Verified Software. Theories, Tools, and Experiments: 11Th International Conference, Vstte 2019, new York City, ny, Usa, July 13-14, 2019, Revised Selected Papers (Lecture Notes in Computer Science) (en Inglés)

Formato

Libro Físico

Editorial

Springer

Año

2020

Idioma

Inglés

N° páginas

193

Encuadernación

Tapa Blanda

ISBN13

9783030415990

N° edición

Categorías

Lenguajes de programación y extensión/scripting: general

Verified Software. Theories, Tools, and Experiments: 11Th International Conference, Vstte 2019, new York City, ny, Usa, July 13-14, 2019, Revised Selected Papers (Lecture Notes in Computer Science) (en Inglés)

Libro Nuevo Importado

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

59,34 €56,37 €

-5%

Libro Nuevo

Quedan más de 100 unidades

56,37 €

Llega entre el 19 Ago y el 28 Ago a Provincia de Madrid. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Verified Software. Theories, Tools, and Experiments: 11Th International Conference, Vstte 2019, new York City, ny, Usa, July 13-14, 2019, Revised Selected Papers (Lecture Notes in Computer Science) (en Inglés)"

This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019.The 9 full papers presented were carefully revised and selected from 17 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

Reseña del libro "Verified Software. Theories, Tools, and Experiments: 11Th International Conference, Vstte 2019, new York City, ny, Usa, July 13-14, 2019, Revised Selected Papers (Lecture Notes in Computer Science) (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