Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /

The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. The conference incorporated three different workshops that took place separately in previous years. The IBM Verification Workshop is now its sixth year, t...

Descripción completa

Detalles Bibliográficos

Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Ur, Shmuel (Editor ), Bin, Eyal (Editor ), Wolfsthal, Yaron (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:	1st ed. 2006.
Colección:	Programming and Software Engineering, 3875
Temas:	Software engineering. Computer science. Compilers (Computer programs). Software Engineering. Computer Science Logic and Foundations of Programming. Compilers and Interpreters.
Acceso en línea:	Texto Completo