Hardware and Software: Verification and Testing: 1

Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings 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. Wydawnictwo: Springer Rok wydania: 2017 Okładka: miękka Liczba stron: 253 Wymiary: 23.5 x 15.5 cm Ilustracje: 47 Illustrations, black and white; XXII, 253 p. 47 illus. Język: angielski ISBN: 9783319703886