Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
Ur, Shmuel.
Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / [electronic resource] : edited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal. - 1a ed. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - v.: digital - Lecture Notes in Computer Science, 3875 0302-9743 ; .
9783540326052
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 / U7 2006
Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / [electronic resource] : edited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal. - 1a ed. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - v.: digital - Lecture Notes in Computer Science, 3875 0302-9743 ; .
9783540326052
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 / U7 2006