Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers - Lecture Notes in Computer Science 1st ed. 2016 edition

Name: Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers - Lecture Notes in Computer Science
Price: 960 MXN
Availability: OutOfStock

Precio

Mex$ 960

sin IVA

Pedido desde almacén remoto

Entrega prevista 16 - 28 de jul.

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

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers - Lecture Notes in Computer Science

1st ed. 2016 edition

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.

213 pages, 36 black & white illustrations, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	8 de noviembre de 2016
ISBN13	9783319488684
Editores	Springer International Publishing AG
Páginas	199
Dimensiones	155 × 235 × 12 mm · 3,34 kg
Lengua	Alemán
Editor	Blazy, Sandrine
Editor	Chechik, Marsha