Kniha Hardware and Software: Verification and Testing Sharon Barner

Hardware and Software: Verification and Testing

6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.19
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International H...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2011
Stránok
197
EAN
9783642195822
ISBN
3642195822
Enbook ID
01657535
Hmotnosť
326
Rozmery
155 x 235 x 12

Kompletný popis

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010.§The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.

Mohlo by vás zaujímať

Immobilized Catalysts

Andreas Kirschning
299.54
10.90

Trans Exploits

Jian Neo Chen
31.23

Call on Me

Jenifer C. Gamber
17.67

Caesars' Wives

Annelise Freisenbruch
18.66
19.05
80.35
46.85

Body in the Casket

Katherine Hallpage
8.64

Lighthouses

William John Hardy
17.87
13.65
14.24

Sloth Bear

Luxshmanan Nadaraja
36.83
51.86

Rocky Harbors

Jon B. Alterman
63.65

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

48.03
10.41
41.74
8.83

Kerbschnitzen

Christian Zeppetzauer
18.56

Patte de Velours

Osiris Brackhaus
14.53
8.83