Carte 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
Limbă: engleză
Legare: Carte broșată
Disponibilitate: În depozitul extern în cantități mici
Expediem în 13-18 zile
298.08 lei
This book constitutes the thoroughly refereed post-conference proceedings of the Third International...

Informații despre carte

Autor
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2008
Pagini
267
EAN
9783540779643
ISBN
3540779647
Enbook ID
01569878
Greutate
444
Dimensiuni
155 x 235 x 240

Descriere completă

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.

S-ar putea să te intereseze

Film Genre Book

John Sanders
610.83 lei
204.51 lei

Smell and the Past

William Tullett
618.21 lei

Bowling

Narragansett Machine Company (Provide
77.98 lei

Aimless Life

Andrew Offenburger
85.26 lei

Internet of Things

Scott J. Shackelford
73.53 lei

Infonomics

Douglas B Laney
184.69 lei
75.65 lei
50.16 lei

Genus Utricularia

P. G. Taylor
344.00 lei

Clienții care au cumpărat această carte au mai cumpărat și

70.79 lei
63.61 lei
130.78 lei