044 209 91 25 079 869 90 44
Notepad
The notepad is empty.
The basket is empty.
Free shipping possible
Free shipping possible
Please wait - the print view of the page is being prepared.
The print dialogue opens as soon as the page has been completely loaded.
If the print preview is incomplete, please close it and select "Print again".

Hardware and Software: Verification and Testing

13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
BookPaperback
Ranking52107inInformatik EDV
CHF72.90

Description

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.
More descriptions

Details

ISBN/GTIN978-3-319-70388-6
Product TypeBook
BindingPaperback
Publishing date12/11/2017
Edition17001 A. 1st ed. 2017
SeriesProgramming and Software Engineering
Series no.10629
Pages276 pages
LanguageEnglish
SizeWidth 155 mm, Height 235 mm, Thickness 16 mm
Weight423 g
Article no.21642552
Publisher's article no.978-3-319-70388-6
CatalogsBuchzentrum
Data source no.24355992
Product groupInformatik EDV
More details

Series

Author

More products from Tzoref-Brill, Rachel

Editor