Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, ... and Software Engineering, Band 10629) - Softcover

 
9783319703886: Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, ... and Software Engineering, Band 10629)
Softcover
ISBN 10: 3319703889 ISBN 13: 9783319703886
Verlag: Springer, 2017

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2017
Sprache
Englisch
ISBN 10 
3319703889
ISBN 13 
9783319703886
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
276
Herausgeber
Strichman Ofer, Tzoref-Brill Rachel
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

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