Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /
Yorav, Karen.
Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings / [electronic resource] : edited by Karen Yorav. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008. - v.: digital - Lecture Notes in Computer Science, 4899 0302-9743 ; .
9783540779667
Computer science
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 / Y67 2008
Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings / [electronic resource] : edited by Karen Yorav. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008. - v.: digital - Lecture Notes in Computer Science, 4899 0302-9743 ; .
9783540779667
Computer science
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 / Y67 2008