Imatge de la portada
Codi QR

Hardware and Software : Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 : Proceedings /

Veure altres versions (2)

Selección de las ponencias presentadas en la décima Conferencia Internacional de Verificación de Haifa, celebrada en Haifa, Israel, en noviembre de 2014. Los trabajos que se incluyen dan cuenta de los avances en el campo de las pruebas y verificación aplicadas al software, hardware y sistemas híbrid...

Descripció completa

Guardat en:
Autor corporatiu: International Haifa Verification Conference ( Haifa, Israel)
Altres autors: Yahav, Eran (edición) (edición)
Format: Actes de congresos Llibre
Idioma:anglès
Publicat: Cham, Suiza : Springer, 2014, c2014
Col·lecció:(Lecture Notes in Computer Science ; 8855)
Matèries:
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
Sistemas Expertos - > Tema Principal
Sistemas Computacionales - > Prueba y Medición
Ingeniería Computacional
Accés en línia:Ver documento en línea
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!

MARC

LEADER 00000nam^a2200000^a^4500
001 000557392
005 20251023000000.0
009 20260310131759.285
020 |a 978-3-319-13338-6 
037 |a Acervo ITESO - Biblioteca 
041 |a ING 
082 |a Libro en línea 
111 |a International Haifa Verification Conference (  |n 10a :  |d 2014 :  |c Haifa, Israel) 
240 1 1 |a [Hardware and Software: Verification and Testing] 
245 1 0 |a Hardware and Software :  |b Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 : Proceedings /  |c Ed. de E. Yahav. 
264 4 |a Cham, Suiza :  |b Springer,  |c 2014, c2014 
264 2 |a Cham, Suiza :  |b Springer Link [distribución],  |c 2014, c2014 
300 |a 1 libro electrónico en línea (XVI, 302 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 8855) 
506 0 |a Licencias ilimitadas 
520 |a Selección de las ponencias presentadas en la décima Conferencia Internacional de Verificación de Haifa, celebrada en Haifa, Israel, en noviembre de 2014. Los trabajos que se incluyen dan cuenta de los avances en el campo de las pruebas y verificación aplicadas al software, hardware y sistemas híbridos complejos. 
649 |a XX 
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 Sistemas Expertos -  |x Tema Principal 
650 |a Sistemas Computacionales -  |x Prueba y Medición 
650 |a Ingeniería Computacional 
700 |a Yahav, Eran  |e (edición) 
856 4 0 |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-319-13338-6  |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 557392-1  |b IT2  |c EBO  |i C  |u 20250521 
902 |a https://opac.biblio.iteso.mx/vufind/Record/000557392 

Ítems similars