Name: Hardware and Software: Verification and Testing: 10Th International Haifa Verification Conference, hvc 2014, Haifa, Israel, November 18-20, 2014, Proceedings (Programming and Software Engineering) (en Inglés)
SKU: 50880604
Price: 973.53 MXN
Availability: InStock
Author: Eran Yahav
ISBN: 9783319133379

portada Hardware and Software: Verification and Testing: 10Th International Haifa Verification Conference, hvc 2014, Haifa, Israel, November 18-20, 2014, Proceedings (Programming and Software Engineering) (en Inglés)

Hardware and Software: Verification and Testing: 10Th International Haifa Verification Conference, hvc 2014, Haifa, Israel, November 18-20, 2014, Proceedings (Programming and Software Engineering) (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Eran Yahav

Año

2014

Idioma

Inglés

N° páginas

302

Encuadernación

Tapa Blanda

ISBN13

9783319133379

N° edición

2014

Categorías

Programación informática/desarrollo de software

Hardware and Software: Verification and Testing: 10Th International Haifa Verification Conference, hvc 2014, Haifa, Israel, November 18-20, 2014, Proceedings (Programming and Software Engineering) (en Inglés)

Eran Yahav (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 21 a 27 días háb.

$ 2,028.18$ 973.53

-52%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 100 unidades

$ 973.53

¡Envío Gratis! Llega entre el 15 Sep y el 25 Sep a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Hardware and Software: Verification and Testing: 10Th International Haifa Verification Conference, hvc 2014, Haifa, Israel, November 18-20, 2014, Proceedings (Programming and Software Engineering) (en Inglés)"

This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.