Name: Verified Software. Theories, Tools and Experiments.: 14th International Conference, Vstte 2022, Trento, Italy, October 17-18, 2022, Revised Selected P (en Inglés)
Price: 1344.17 MXN
Availability: InStock
Author: Lal, Akash ; Tonetta, Stefano
ISBN: 9783031258022

Envío gratis

portada Verified Software. Theories, Tools and Experiments.: 14th International Conference, Vstte 2022, Trento, Italy, October 17-18, 2022, Revised Selected P (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Lal, Akash ; Tonetta, Stefano

Idioma

Inglés

N° páginas

167

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.0 cm

Peso

0.26 kg.

ISBN13

9783031258022

Categorías

Hardware | soporte físico del ordenador
Programación informática - desarrollo de software

Verified Software. Theories, Tools and Experiments.: 14th International Conference, Vstte 2022, Trento, Italy, October 17-18, 2022, Revised Selected P (en Inglés)

Lal, Akash ; Tonetta, Stefano (Autor) · Springer · Tapa Blanda

Libro Nuevo

$ 1,344.17

$ 2,240.28

Ahorras: $ 896.11

40% descuento

Envío normal

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

Se enviará desde nuestra bodega entre el Lunes 29 de Julio y el Viernes 09 de Agosto.

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.: 14th International Conference, Vstte 2022, Trento, Italy, October 17-18, 2022, Revised Selected P (en Inglés)"

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17-18, 2022.The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers describe software 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.