Copertina
Codice QR

Hardware and Software : Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Mostra altre versioni (2)

Se presentan aquí 24 artículos arbitrados, seleccionados de las 49 ponencias de la 9a Conferencia Internacional de Verificación (de Hardware y Software), celebrada en la ciudad israelí de Haifa, del 5 al 7 de noviembre de 2013. Los trabajos están organizados según las siete temáticas del evento: 1)...

Descrizione completa

Salvato in:
Ente Autore: International Haifa Verification Conference ( Haifa, Israel)
Altri autori: Bertacco, Valeria (edición), Legay, Axel (edición)
Natura: Atti del Convegno Libro
Lingua:inglese
Pubblicazione: Cham, Suiza : Springer, 2013, c2013
Serie:(Lecture Notes in Computer Science ; 8244)
Soggetti:
Circuitos Electrónicos - > Prueba y Medición
Componentes (Hardware) - > Prueba y Medición - > Tema Principal
Arquitectura de Computadoras - > Prueba y Medición
Paquetes (Software) - > Prueba y Medición - > Tema Principal
Arquitectura de Software - > Prueba y Medición
Ingeniería de Software
Computadoras - > Prueba y Medición - > Tema Principal
Computadoras - > Prueba y Medición - > Congresos - > Tema Principal
Ingeniería Computacional
Accesso online:Ver documento en línea
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
Lascia un commento!
Entra

Documenti analoghi