Książka Hardware and Software: Verification and Testing Ofer Strichman

Hardware and Software: Verification and Testing

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.42
This book constitutes the refereed proceedings of the 13th International Haifa Verification Conferen...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2017
strony
253
EAN
9783319703886
ISBN
3319703889
Enbook ID
18257956
Waga
4219
Wymiary
155 x 235 x 17

Pełny opis

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.

Możesz być zainteresowany

29.39
102.31
68.34

On Shadow Lake

Brian L Blank
42.44
859.75
35.04
33.09
786.24
423.49

The Mother-daughter Book Club

Heather Vogel Frederick
35.82

Italian Pocket Dictionary

Collins Dictionaries
44.48
109.91
859.75
541.20

I Do Again

Cheryl Scruggs
59.28

Klienci, którzy kupili tę książkę, kupili również

80.02

Hunter X Hunter 18

Yoshihiro Togashi
30.76

Machinisme et bricolages

Anne-Marie Guenin
101.14
44.39

Trame d'argento

Patricia Logan
72.03

Palabras en mis manos

María Porras Sánchez
110.49