Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings: 10028 (Lecture Notes in Computer Science)

Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings: 10028 (Lecture Notes in Computer Science)

by RoderickBloem (Editor), EliArbel (Series Editor)

Synopsis

This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016.

$62.28

Quantity

10 in stock

More Information

Format: Paperback
Pages: 228
Edition: 1st ed. 2016
Publisher: Springer
Published: 01 Nov 2016

ISBN 10: 3319490516
ISBN 13: 9783319490519