Name: Automated Technology for Verification and Analysis: 14th International Symposium, Atva 2016, Chiba, Japan, October 17-20, 2016, Proceedings (en Inglés)
Price: 76.04 EUR
Availability: InStock
Author: Artho, Cyrille ; Legay, Axel ; Peled, Doron
ISBN: 9783319465197

portada Automated Technology for Verification and Analysis: 14th International Symposium, Atva 2016, Chiba, Japan, October 17-20, 2016, Proceedings (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Artho, Cyrille ; Legay, Axel ; Peled, Doron

Idioma

Inglés

N° páginas

530

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 2.8 cm

Peso

0.75 kg.

ISBN13

9783319465197

Categorías

Programación informática - desarrollo de software
Inteligencia artificial

Automated Technology for Verification and Analysis: 14th International Symposium, Atva 2016, Chiba, Japan, October 17-20, 2016, Proceedings (en Inglés)

Artho, Cyrille ; Legay, Axel ; Peled, Doron (Autor) · Springer · Tapa Blanda

Libro Nuevo

76,04 €

80,05 €

Ahorras: 4,00 €

5% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Miércoles 17 de Julio y el Miércoles 31 de Julio.

Lo recibirás en cualquier lugar de España entre 1 y 5 días hábiles luego del envío.

Reseña del libro "Automated Technology for Verification and Analysis: 14th International Symposium, Atva 2016, Chiba, Japan, October 17-20, 2016, Proceedings (en Inglés)"

This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, automata; parallelism, concurrency; complexity, decidability; synthesis, refinement; optimization, heuristics, partial-order reductions; solving procedures, model checking; and program analysis.

Opiniones del libro

¿Leíste este libro? Inicia sesión para poder agregar tu propia evaluación.

Ver más opiniones de clientes

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes

Automated Technology for Verification and Analysis: 14th International Symposium, Atva 2016, Chiba, Japan, October 17-20, 2016, Proceedings (en Inglés) - Artho, Cyrille ; Legay, Axel ; Peled, Doron

Reseña del libro "Automated Technology for Verification and Analysis: 14th International Symposium, Atva 2016, Chiba, Japan, October 17-20, 2016, Proceedings (en Inglés)"

Opiniones del libro

Preguntas frecuentes sobre el libro

¿El libro es original?

¿En qué Idioma está escrito el libro?

¿Cuál es la encuadernación de este libro?

Preguntas y respuestas sobre el libro

Opiniones sobre Buscalibre