Kerstin Eder
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers - Lecture Notes in Computer Science Kerstin Eder 2012 edition

Name: Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers - Lecture Notes in Computer Science
Price: 877 MXN
Availability: OutOfStock
Author: Kerstin Eder

Precio

Mex$ 877

sin IVA

Pedido desde almacén remoto

Entrega prevista 13 - 23 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

Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers - Lecture Notes in Computer Science

Kerstin Eder

2012 edition

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions.

276 pages, 95 black & white illustrations, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	9 de octubre de 2012
ISBN13	9783642341878
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	263
Dimensiones	155 × 235 × 14 mm · 385 g
Lengua	Alemán
Editor	Eder, Kerstin
Editor	Louren?o, Joao
Editor	Shehory, Onn