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...

Description complète

Détails bibliographiques

Cote:	Libro Electrónico
Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Piterman, Nir (Éditeur intellectuel)
Format:	Électronique eBook
Langue:	Inglés
Publié:	Cham : Springer International Publishing : Imprint: Springer, 2015.
Édition:	1st ed. 2015.
Collection:	Programming and Software Engineering, 9434
Sujets:	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.
Accès en ligne:	Texto Completo