Automated Technology for Verification and Analysis - - Libros - Springer Nature Switzerland AG - 9783030010898 - 30 de septiembre de 2018
En caso de que portada y título no coincidan, el título será el correcto

Automated Technology for Verification and Analysis 1st ed. 2018 edition

Precio
$ 56,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 15 - 26 de jun.

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 book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.

560 pages, 133 Illustrations, black and white; XIII, 560 p. 133 illus.

Medios de comunicación Libros     Book
Publicado 30 de septiembre de 2018
ISBN13 9783030010898
Editores Springer Nature Switzerland AG
Páginas 560
Dimensiones 150 × 220 × 20 mm   ·   861 g
Lengua Alemán  
Editor Lahiri, Shuvendu K.
Editor Wang, Chao