Hardware and Software: Verification - E-book

eBook

Hardware And Software: Verification And Testing - ENG

8th International Haifa Verification Conference, Hvc 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

eBook

$1,000.00

Disponible

Información adicional
Sinopsis

ISBN:	9783642396113
Formato:	Page Fidelity
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Computadoras
Subtema:	Ingeniería y desarrollo de software general
Año de publicación:	2013-07-03

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.

eBooks