Azala
QR Kodea

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

Erakutsi beste bertsioak (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...

Deskribapen osoa

Gorde:
Erakunde egilea: International Haifa Verification Conference ( Haifa, Israel)
Beste egile batzuk: Yahav, Eran (edición) (edición)
Formatua: Konferentzia-aktak Liburua
Hizkuntza:ingelesa
Argitaratua: Cham, Suiza : Springer, 2014, c2014
Saila:(Lecture Notes in Computer Science ; 8855)
Gaiak:
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
Sarrera elektronikoa:Ver documento en línea
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

MARC

LEADER 00000nam^a2200000^a^4500
001 000557392
005 20251023000000.0
009 20260526152707.196
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 

Antzeko izenburuak