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
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele v malém množství
Odesíláme za 13-18 dnů
1 311
This book constitutes the thoroughly refereed post-conference proceedings of the Third International...

Informace o knize

Autor
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2008
Stránek
267
EAN
9783540779643
ISBN
3540779647
Enbook ID
01569878
Hmotnost
444
Rozměry
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 zajímat

Film Genre Book

John Sanders
2 813

Smell and the Past

William Tullett
2 704

Bowling

Narragansett Machine Company (Provide
326

Aimless Life

Andrew Offenburger
347

Internet of Things

Scott J. Shackelford
299

Infonomics

Douglas B Laney
851
210

Genus Utricularia

P. G. Taylor
1 496

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

289
293