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) (edición), Legay, Axel (edición) (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!!

MARC

LEADER 00000nam^a2200000^a^4500
001 000432985
005 20251023000000.0
009 20260310123028.623
020 |a 978-3-319-03077-7 
037 |a Acervo ITESO - Biblioteca 
041 |a ING 
082 |a 004. 25  |b INT 2013 
111 |a International Haifa Verification Conference (  |n 9a :  |d 2013 :  |c Haifa, Israel) 
240 1 1 |a [Hardware and Software: Verification and Testing] 
245 1 0 |a Hardware and Software :  |b Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /  |c Ed. de V. Bertacco, A. Legay. 
264 4 |a Cham, Suiza :  |b Springer,  |c 2013, c2013 
264 2 |a Cham, Suiza :  |b Springer Link [distribución],  |c 2013, c2013 
300 |a 1 libro electrónico en línea (XIX, 366 p.) 
300 |a 1 recurso en línea 
336 |a datos para computadora  |b cod  |2 rdacontenido 
337 |a computadora  |b c  |2 rdamedio 
338 |a recurso en línea  |b cr  |2 rdasoporte 
440 1 |a (Lecture Notes in Computer Science ;  |v 8244) 
506 0 |a Licencias ilimitadas 
520 |a 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) Verificación basada en SAT y SMT; 2) Pruebas de software I; 3) Pruebas de software II; 4) Apoyo a la verificación dinámica; 5) Especificación y cobertura; 6) Abstracción; 7) Representación modelo. 
649 |a XX 
650 |a Circuitos Electrónicos -  |x Prueba y Medición 
650 |a Componentes (Hardware) -  |x Prueba y Medición -  |x Tema Principal 
650 |a Arquitectura de Computadoras -  |x Prueba y Medición 
650 |a Paquetes (Software) -  |x Prueba y Medición -  |x Tema Principal 
650 |a Arquitectura de Software -  |x Prueba y Medición 
650 |a Ingeniería de Software 
650 |a Computadoras -  |x Prueba y Medición -  |x Tema Principal 
650 |a Computadoras -  |x Prueba y Medición -  |x Congresos -  |x Tema Principal 
650 |a Ingeniería Computacional 
700 |a Bertacco, Valeria  |e (edición) 
700 |a Legay, Axel  |e (edición) 
856 4 0 |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-319-03077-7  |y Ver documento en línea 
910 |a Fondo General 
920 |a Electrónicos - Libros en Línea 
930 |a Plataforma Digital 
905 |a 205 
901 |a 432985-1  |b IT2  |c EBO  |i C172346  |u 20250521 
902 |a https://opac.biblio.iteso.mx/vufind/Record/000432985 

Documenti analoghi