Bin, Eyal. <br/><br/>
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 ; .
<br/><br/><label>ISBN: </label>9783540708896 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programas para computadora -- Verificación--Congresos<br/>Arquitectura del software --Congresos<br/>Unidad de entrada y salida para computadoras-- Congresos<br/>Software para computadora --Verificación--Congresos
<br/><br/><label>LC Class. No.: </label>QA76.76.V47  / B56 2007