Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers - Softcover

 
9783642195846: Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Softcover
ISBN 10: 3642195849 ISBN 13: 9783642195846
Publisher: Springer, 2011

This specific ISBN edition is currently not available.

Publisher
Springer
Publication date
2011
Language
English
ISBN 10 
3642195849
ISBN 13 
9783642195846
Binding
Paperback
Number of pages
208
Editor
Barner Sharon, Harris Ian, Kroening Daniel

Other Popular Editions of the Same Title

9783642195822: Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... (Lecture Notes in Computer Science, 6504)

Featured Edition

ISBN 10:  3642195822 ISBN 13:  9783642195822
Publisher: Springer, 2011
Softcover