Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings - Lecture Notes in Computer Science 1st ed. 2016 edition

Name: Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings - Lecture Notes in Computer Science
Price: 964 MXN
Availability: OutOfStock

Precio

Mex$ 964

sin IVA

Pedido desde almacén remoto

Entrega prevista 31 de jul. - 12 de ago.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Aún no valorado

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings - Lecture Notes in Computer Science

1st ed. 2016 edition

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. Markov models, chains, and decision processes;

541 pages, 102 black & white illustrations, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	22 de septiembre de 2016
ISBN13	9783319465197
Editores	Springer International Publishing AG
Páginas	530
Dimensiones	155 × 235 × 28 mm · 8,13 kg
Lengua	Alemán
Editor	Artho, Cyrille
Editor	Legay, Axel
Editor	Peled, Doron