Name: Automated Technology for Verification and Analysis: 23rd International Symposium, Atva 2025, Bengaluru, India, October 27-31, 2025, Proceedings (en Inglés)
Price: 83310.00 CLP
Availability: InStock
Author: D´souza, Meenakshi; Komondoor, Raghavan; Srivathsan, B.
ISBN: 9783032087065

portada Automated Technology for Verification and Analysis: 23rd International Symposium, Atva 2025, Bengaluru, India, October 27-31, 2025, Proceedings (en Inglés)

Automated Technology for Verification and Analysis: 23rd International Symposium, Atva 2025, Bengaluru, India, October 27-31, 2025, Proceedings (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

D´souza, Meenakshi; Komondoor, Raghavan; Srivathsan, B.

Idioma

Inglés

N° páginas

474

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 2.5 cm

ISBN13

9783032087065

Automated Technology for Verification and Analysis: 23rd International Symposium, Atva 2025, Bengaluru, India, October 27-31, 2025, Proceedings (en Inglés)

D´souza, Meenakshi; Komondoor, Raghavan; Srivathsan, B. (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 12 a 17 días háb.

$ 166.610$ 83.310

-50%

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

Libro Nuevo

Quedan más de 100 unidades

$ 83.310

Llega entre el 14 Ago y el 21 Ago a Santiago, Región Metropolitana. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Automated Technology for Verification and Analysis: 23rd International Symposium, Atva 2025, Bengaluru, India, October 27-31, 2025, Proceedings (en Inglés)"

This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27-31, 2025. The 17 full papers and 4 short papers included in the proceedings were carefully reviewed and selected from 59 submissions. They were organized in topical sections as follows: Automata and temporal logic; games and controller synthesis; monitoring and runtime verification; probabilistic verification and quantum computing; learning; hybrid and dynamical systems; and verification.