Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized...

Descripción completa

Detalles Bibliográficos

Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Piterman, Nir (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2015.
Edición:	1st ed. 2015.
Colección:	Programming and Software Engineering, 9434
Temas:	Software engineering. Computer science. Compilers (Computer programs). Machine theory. Artificial intelligence. Computer networks . Software Engineering. Computer Science Logic and Foundations of Programming. Compilers and Interpreters. Formal Languages and Automata Theory. Artificial Intelligence. Computer Communication Networks.
Acceso en línea:	Texto Completo