Hardware and Software : Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
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)...
שמור ב:
| מחבר תאגידי: | |
|---|---|
| מחברים אחרים: | , |
| פורמט: | Procedimiento de la conferencia ספר |
| שפה: | אנגלית |
| יצא לאור: |
Cham, Suiza :
Springer,
2013, c2013
|
| סדרה: | (Lecture Notes in Computer Science ;
8244) |
| נושאים: | |
| גישה מקוונת: | Ver documento en línea |
| תגים: |
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
אינטרנט
Ver documento en línea| סימן המיקום: |
004. 25 INT 2013
|
||
|---|---|---|---|
| Ejemplar 432985-1 |
Disponible
Préstamo en línea
|
Colección:
Libros electrónicos en línea
|
הערות:
Consultar en línea
|