Hardware and Software : Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 : Proceedings /
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...
Gorde:
| Erakunde egilea: | |
|---|---|
| Beste egile batzuk: | |
| Formatua: | Konferentzia-aktak Liburua |
| Hizkuntza: | ingelesa |
| Argitaratua: |
Cham, Suiza :
Springer,
2014, c2014
|
| Saila: | (Lecture Notes in Computer Science ;
8855) |
| Gaiak: | |
| Sarrera elektronikoa: | Ver documento en línea |
| Etiketak: |
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
Internet
Ver documento en línea| Sailkapena: |
Libro en línea
|
||
|---|---|---|---|
| Ejemplar 557392-1 |
Disponible
Préstamo en línea
|
Bilduma:
Libros electrónicos en línea
|
Oharrak:
Consultar en línea
|