Kapak Resmi
QR Kod

Hardware and Software : Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012 : Revised Selected Papers /

Diğer sürümleri göster (2)

Se presentan aquí 28 artículos arbitrados, seleccionados de las 36 ponencias de la 8a Conferencia Internacional de Verificación, celebrada en la ciudad israelí de Haifa, del 6 al 8 de noviembre de 2012. Los trabajos versan sobre prueba-medición de hardware, programación de software y sistemas híbrid...

Ful tanımlama

Kaydedildi:
Müşterek Yazar: International Haifa Verification Conference ( Haifa, Israel)
Diğer Yazarlar: Biere, Armin (edición) (edición), Nahir, Amir (edición) (edición), Vos, Tanja (edición) (edición)
Materyal Türü: Konferans Sunumu Kitap
Dil:İngilizce
Baskı/Yayın Bilgisi: Berlín, Alemania : Springer, 2013, c2013
Seri Bilgileri:(Lecture Notes in Computer Science ; 7857)
Konular:
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
Online Erişim:Ver documento en línea
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!

MARC

LEADER 00000nam^a2200000^a^4500
001 000432987
005 20251023000000.0
009 20260310123028.639
020 |a 978-3-642-39611-3 
037 |a Acervo ITESO - Biblioteca 
041 |a ING 
082 |a 004. 25  |b INT 2012 
111 |a International Haifa Verification Conference (  |n 8a :  |d 2012 :  |c Haifa, Israel) 
240 1 1 |a [Hardware and Software: Verification and Testing] 
245 1 0 |a Hardware and Software :  |b Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012 : Revised Selected Papers /  |c Ed. de A. Biere, Armin. A. Nahir, T. Vos. 
264 4 |a Berlín, Alemania :  |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 (XI, 279 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 7857) 
506 0 |a Licencias ilimitadas 
520 |a Se presentan aquí 28 artículos arbitrados, seleccionados de las 36 ponencias de la 8a Conferencia Internacional de Verificación, celebrada en la ciudad israelí de Haifa, del 6 al 8 de noviembre de 2012. Los trabajos versan sobre prueba-medición de hardware, programación de software y sistemas híbridos complejos. 
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 Biere, Armin  |e (edición) 
700 |a Nahir, Amir  |e (edición) 
700 |a Vos, Tanja  |e (edición) 
856 4 0 |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-642-39611-3  |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 432987-1  |b IT2  |c EBO  |i C172346  |u 20250521 
902 |a https://opac.biblio.iteso.mx/vufind/Record/000432987 

Benzer Materyaller