Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from...

Full description

Bibliographic Details

Call Number:	Libro Electrónico
Corporate Author:	SpringerLink (Online service)
Other Authors:	Eder, Kerstin (Editor), Lourenҫo, João (Editor), Shehory, Onn (Editor)
Format:	Electronic eBook
Language:	Inglés
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edition:	1st ed. 2012.
Series:	Programming and Software Engineering, 7261
Subjects:	Software engineering. Compilers (Computer programs). Computer science. Artificial intelligence. Software Engineering. Compilers and Interpreters. Computer Science Logic and Foundations of Programming. Artificial Intelligence.
Online Access:	Texto Completo