Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
Bin, Eyal.
Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers / [electronic resource] : edited by Eyal Bin, Avi Ziv, Shmuel Ur. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4383 0302-9743 ; .
9783540708896
Programas para computadora -- Verificación--Congresos
Arquitectura del software --Congresos
Unidad de entrada y salida para computadoras-- Congresos
Software para computadora --Verificación--Congresos
QA76.76.V47 / B56 2007
Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers / [electronic resource] : edited by Eyal Bin, Avi Ziv, Shmuel Ur. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4383 0302-9743 ; .
9783540708896
Programas para computadora -- Verificación--Congresos
Arquitectura del software --Congresos
Unidad de entrada y salida para computadoras-- Congresos
Software para computadora --Verificación--Congresos
QA76.76.V47 / B56 2007