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
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International H...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2011
Stránek
197
EAN
9783642195822
ISBN
3642195822
Enbook ID
01657535
Hmotnost
326
Rozměry
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 zajímat

Immobilized Catalysts

Andreas Kirschning
6 845
250

Trans Exploits

Jian Neo Chen
756

Call on Me

Jenifer C. Gamber
428

Caesars' Wives

Annelise Freisenbruch
423
460
1 844
1 132

Body in the Casket

Katherine Hallpage
199

Lighthouses

William John Hardy
432
330
345

Sloth Bear

Luxshmanan Nadaraja
842
1 195

Rocky Harbors

Jon B. Alterman
1 537

Zákaznicí kteří koupili tuto knihu koupili také

1 160
1 009

Kerbschnitzen

Christian Zeppetzauer
421

Patte de Velours

Osiris Brackhaus
351
202