Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings - Theoretical Computer Science and General Issues 1st ed. 2016 edition

Name: Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings - Theoretical Computer Science and General Issues
Price: 54.99 USD
Availability: OutOfStock

Precio

$ 54,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 5 - 18 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

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings - Theoretical Computer Science and General Issues

1st ed. 2016 edition

This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016.

558 pages, 123 colour illustrations, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	26 de diciembre de 2015
ISBN13	9783662491218
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	558
Dimensiones	155 × 235 × 29 mm · 793 g
Lengua	Alemán
Editor	Jobstmann, Barbara
Editor	Leino, K. Rustan M.