Könyv 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

Szerző: Karen Yorav
Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten alacsony példányszámban
Küldés 13-18 napon belül
20 639 Ft
This book constitutes the thoroughly refereed post-conference proceedings of the Third International...

Információk a könyvről

Szerző
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2008
oldal
267
EAN
9783540779643
ISBN
3540779647
Enbook ID
01569878
Súly
444
Méretek
155 x 235 x 240

Teljes leírás

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.

Érdekelheti

Film Genre Book

John Sanders
41 161 Ft

Smell and the Past

William Tullett
43 744 Ft

Bowling

Narragansett Machine Company (Provide
5 407 Ft

Aimless Life

Andrew Offenburger
5 962 Ft

Internet of Things

Scott J. Shackelford
5 125 Ft

Infonomics

Douglas B Laney
12 448 Ft
5 094 Ft
3 478 Ft

Genus Utricularia

P. G. Taylor
24 457 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták