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 - - Libros - Springer Nature Switzerland AG - 9783030415990 - 14 de marzo de 2020
En caso de que portada y título no coincidan, el título será el correcto

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 2020 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 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

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.

193 pages, 30 Illustrations, color; 191 Illustrations, black and white; XVI, 193 p. 221 illus., 30 i

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 14 de marzo de 2020
ISBN13 9783030415990
Editores Springer Nature Switzerland AG
Páginas 193
Dimensiones 150 × 220 × 10 mm   ·   454 g
Lengua Alemán  
Editor Chakraborty, Supratik
Editor Navas, Jorge A.

Mere med samme udgiver