Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings (Programming and Software Engineering) - Softcover

 
9783319703886: Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings (Programming and Software Engineering)
Softcover
ISBN 10: 3319703889 ISBN 13: 9783319703886
Publisher: Springer, 2017

Synopsis

This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.
The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.

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

Publisher
Springer
Publication date
2017
Language
English
ISBN 10 
3319703889
ISBN 13 
9783319703886
Binding
Paperback
Edition number
1
Number of pages
275
Editor
Strichman Ofer, Tzoref-Brill Rachel

Other Popular Editions of the Same Title

9783319703909: Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Featured Edition

ISBN 10:  3319703900 ISBN 13:  9783319703909
Publisher: Springer, 2017
Softcover