Książka Hardware and Software: Verification and Testing Valeria Bertacco

Hardware and Software: Verification and Testing

9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

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

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2013
strony
366
EAN
9783319030760
ISBN
3319030760
Enbook ID
02152556
Waga
593
Wymiary
155 x 235 x 22

Pełny opis

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction, and model presentation.

Możesz być zainteresowany

633.67
1 007.20
31.39
288.64

Get Over Yourself!

Jennifer Beckham
68.72
262.00

Nginx Essentials

Valery Kholodkov
164.97

Heartwood

James Lee Burke
48.70

History and Biography

T. C. W. BlanningDavid Cannadine
523.14
55.70

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

33.73
131.33
24.59

Ajedrez hipermoderno. Vol. I

Ricardo Aguilera López
46.66
40.34
99.06

Wupp geht um

Martina Temming
37.13
151.56