Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers - Lecture Notes in Computer Science - Akash Lal - Libros - Springer International Publishing AG - 9783031258022 - 2 de febrero de 2023
En caso de que portada y título no coincidan, el título será el correcto

Akash Lal
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers - Lecture Notes in Computer Science 1st ed. 2023 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 7 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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.

167 pages, 20 Illustrations, color; 195 Illustrations, black and white; VIII, 167 p. 215 illus., 20

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 2 de febrero de 2023
ISBN13 9783031258022
Editores Springer International Publishing AG
Páginas 167
Dimensiones 150 × 220 × 10 mm   ·   285 g
Lengua Inglés  
Editor Lal, Akash
Editor Tonetta, Stefano

Mere med samme udgiver

Ver todo de Akash Lal ( Ej. Paperback Book )