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

Powered by Koha