Valeria Bertacco
Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings - Lecture Notes in Computer Science Valeria Bertacco 2013 edition

Name: Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings - Lecture Notes in Computer Science
Price: 960 MXN
Availability: OutOfStock
Author: Valeria Bertacco

Precio

Mex$ 960

sin IVA

Pedido desde almacén remoto

Entrega prevista 27 de jul. - 6 de ago.

Recibe notificaciones sobre nuevos lanzamientos de Valeria Bertacco

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

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings - Lecture Notes in Computer Science

Valeria Bertacco

2013 edition

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.

388 pages, 147 black & white illustrations, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	31 de octubre de 2013
ISBN13	9783319030760
Editores	Springer International Publishing AG
Páginas	366
Dimensiones	155 × 235 × 20 mm · 539 g
Lengua	Francés
Editor	Bertacco, Valeria
Editor	Legay, Axel