Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised ... (Lecture Notes in Computer Science, 7857) - Softcover

 
9783642396106: Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised ... (Lecture Notes in Computer Science, 7857)
Softcover
ISBN 10: 3642396100 ISBN 13: 9783642396106
Publisher: Springer, 2013

Synopsis

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.

"synopsis" may belong to another edition of this title.

From the Back Cover

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.

"About this title" may belong to another edition of this title.

Publisher
Springer
Publication date
2013
Language
English
ISBN 10 
3642396100
ISBN 13 
9783642396106
Binding
Paperback
Number of pages
293
Editor
Biere Armin, Nahir Amir, Vos Tanja