Kniha Hardware and Software: Verification and Testing Karen Yorav

Hardware and Software: Verification and Testing

Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings

Autor: Karen Yorav
Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa v malom množstve
Odosielame za 13-18 dní
54.22
This book constitutes the thoroughly refereed post-conference proceedings of the Third International...

Informácie o knihe

Autor
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2008
Stránok
267
EAN
9783540779643
ISBN
3540779647
Enbook ID
01569878
Hmotnosť
444
Rozmery
155 x 235 x 240

Kompletný popis

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Haifa Verification Conference, HVC 2007, held in Haifa, Israel, in October 2007.§The 15 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 32 submissions. The papers are organized in topical tracks on hardware verification, model checking, dynamic hardware verification, merging formal and testing, formal verification for software and software testing.

Mohlo by vás zaujímať

Film Genre Book

John Sanders
116.41

Smell and the Past

William Tullett
117.79

Bowling

Narragansett Machine Company (Provide
13.45

Aimless Life

Andrew Offenburger
14.33

Internet of Things

Scott J. Shackelford
12.37

Infonomics

Douglas B Laney
35.16
13.55
8.73

Genus Utricularia

P. G. Taylor
65.52

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

12.76
10.09
22.00