Name: Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings (en Inglés)
SKU: 57375405
Price: 178.55 PEN
Availability: InStock
Author: Hung, Dang Van ; Sokolsky, Oleg
ISBN: 9783030591519

portada Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings (en Inglés)

Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Hung, Dang Van ; Sokolsky, Oleg

Idioma

Inglés

N° páginas

574

Encuadernación

Tapa Blanda

Dimensiones

23.4x15.6x3 cm

Peso

0.82 kg.

ISBN13

9783030591519

Categorías

Tecnología de la información: cuestiones generales
Programación informática/desarrollo de software
Sistemas expertos/sistemas basados en el conocimiento

Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings (en Inglés)

Hung, Dang Van ; Sokolsky, Oleg (Autor) · Springer · Tapa Blanda

Más barato Libro Nuevo Importado

Envío: 15 a 20 días háb.

S/ 396,77S/ 178,55

-55%

Más rápido Libro Nuevo Importado

Envío: 14 a 18 días háb.

S/ 564,38S/ 282,19

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo Más barato

Quedan más de 100 unidades

S/ 178,55

Llega entre el 27 Nov y el 07 Dic a CERCADO DE LIMA, Lima. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings (en Inglés)"

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems.